Zoeken

U zocht naar: Auteur Haxthausen, Anne E. Filter Auteur: Haxthausen, Anne E. weghalen
1 - 3 van 3
Aantal zoekresultaten per pagina

Zoekresultaten

1. Applicable Formal Methods for Safe Industrial Products : Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday
thumbnail
Full text!
Auteur:
Haxthausen, Anne E.; Huang, Wen-ling; Roggenbach, Markus
Uitgever:
Cham Springer International Publishing AG 2023
Type:
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!
Auteur:
Collart-Dutilleul, Simon.; Haxthausen, Anne E.; Lecomte, Thierry
Uitgever:
Cham Springer International Publishing AG 2022
Type:
e-book
3. Theoretical Aspects of Computing - ICTAC 2008
thumbnail
Full text!
Auteur:
Fitzgerald, John S.; Haxthausen, Anne E.; Kanade, Takeo; Yenigun, Husnu; Kittler, Josef
Uitgever:
Springer Berlin Heidelberg 2008
Type:
e-book