Formal Methods for Industrial Critical Systems 29th International Conference, FMICS 2024, Milan, Italy, September 9–11, 2024, Proceedings Haxthausen Anne E. Heftet / 2024 / Engelsk
Theoretical Aspects of Computing - ICTAC 2008 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008, Proceedings Fitzgerald John S. Heftet / 2008 / Engelsk
Applicable Formal Methods for Safe Industrial Products Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday Haxthausen Anne E. Heftet / 2023 / Engelsk
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification 4th International Conference, RSSRail 2022, Paris, France, June 1–2, 2022, Proceedings Collart-Dutilleul, Simon Heftet / 2022 / Engelsk
