Languages
Covers
Jump To : Overview | Titles | Subjects

Haxthausen, Anne E.

Overview
Works: 2 works in 2 publications in 1 languages
Titles
Formal methods for industrial critical systems = 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024 : proceedings / by: Serwe, Wendelin.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Haxthausen, Anne E. (Language materials, printed)
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification = 4th International Conference, RSSRail 2022, Paris, France, June 1–2, 2022, Proceedings / by: Haxthausen, Anne E.; Collart-Dutilleul, Simon.; SpringerLink (Online service); Lecomte, Thierry. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Applicable formal methods for safe industrial products = essays dedicated to Jan Peleska on the occasion of his 65th birthday / by: Roggenbach, Markus.; Haxthausen, Anne E.; SpringerLink (Online service); Huang, Wen-ling.; Peleska, Jan, (Language materials, printed)
Theoretical Aspects of Computing - ICTAC 2008 = 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings / by: SpringerLink (Online service); Fitzgerald, J. S.; Haxthausen, Anne E.; ICTAC 2008 (2008 :); Yenigun, Husnu. (Language materials, printed)
 
 
Change password
Login