Hoppa till sidans huvudinnehåll

Anne E. Haxthausen – författare

Visar alla böcker från författaren Anne E. Haxthausen.
5 produkter
Simon Collart-Dutilleul, Anne E. Haxthausen, Thierry Lecomte - Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, Häftad

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

4th International Conference, RSSRail 2022, Paris, France, June 1–2, 2022, Proceedings

AvSimon Collart-Dutilleul,Anne E. Haxthausenm. fl.

Häftad, Engelska, 2022

949 kr

Skickas inom 10-15 vardagar

Anne E. Haxthausen, Wen-ling Huang, Markus Roggenbach - Applicable Formal Methods for Safe Industrial Products, Häftad

Applicable Formal Methods for Safe Industrial Products

Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday

AvAnne E. Haxthausen,Wen-ling Huangm. fl.

Häftad, Engelska, 2023

1 089 kr

Skickas inom 10-15 vardagar

Anne E. Haxthausen, Wendelin Serwe - Formal Methods for Industrial Critical Systems, Häftad
Del 14952 - Lecture Notes in Computer Science

Formal Methods for Industrial Critical Systems

29th International Conference, FMICS 2024, Milan, Italy, September 9–11, 2024, Proceedings

AvAnne E. Haxthausen,Wendelin Serwe

Häftad, Engelska, 2024

949 kr

Skickas inom 10-15 vardagar

Maurice H. ter Beek, Stefania Gnesi, Anne E. Haxthausen, Laura Semini - Journeys Between Formal Methods and the Railway Industry, Häftad

Journeys Between Formal Methods and the Railway Industry

Essays Dedicated to Alessandro Fantechi on the Occasion of His 70th Birthday

AvMaurice H. ter Beek,Stefania Gnesim. fl.

Häftad, Engelska, 2026

1 419 kr

Skickas inom 10-15 vardagar

John S. Fitzgerald, Anne E. Haxthausen, Husnu Yenigun - Theoretical Aspects of Computing - ICTAC 2008, Häftad

Theoretical Aspects of Computing - ICTAC 2008

5th International Colloquium, Istanbul, Turkey, September 1-3, 2008, Proceedings

AvJohn S. Fitzgerald,Anne E. Haxthausenm. fl.

Häftad, Engelska, 2008

729 kr

Skickas inom 10-15 vardagar