Search

You searched for: Auteur Haxthausen, Anne E. Remove constraint Auteur: Haxthausen, Anne E.
1 - 3 of 3
Number of results to display per page

Search Results

1. Applicable Formal Methods for Safe Industrial Products : Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday
thumbnail
Full text!
Author:
Haxthausen, Anne E.; Huang, Wen-ling; Roggenbach, Markus
Publisher:
Cham Springer International Publishing AG 2023
Format:
e-book
2. Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : 4th International Conference, RSSRail 2022, Paris, France, June 1-2, 2022, Proceedings
thumbnail
Full text!
Author:
Collart-Dutilleul, Simon.; Haxthausen, Anne E.; Lecomte, Thierry
Publisher:
Cham Springer International Publishing AG 2022
Format:
e-book
3. Theoretical Aspects of Computing - ICTAC 2008
thumbnail
Full text!
Author:
Fitzgerald, John S.; Haxthausen, Anne E.; Kanade, Takeo; Yenigun, Husnu; Kittler, Josef
Publisher:
Springer Berlin Heidelberg 2008
Format:
e-book