Anne E. Haxthausen

Books by Anne E. Haxthausen

Total count: 3

• Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification4th International Conference, RSSRail 2022, Paris, France, June 1-2, 2022, Proceedings

  Springer International Publishing AG2022-01-01
• 
  Applicable Formal Methods for Safe Industrial ProductsEssays Dedicated to Jan Peleska on the Occasion of His 65th Birthday

  Springer2023-01-01
• Formal Methods for Industrial Critical Systems29th International Conference, FMICS 2024, Milan, Italy, September 9-13, 2024, Proceedings

  Springer2024-01-01