Anne E. Haxthausen

No bio available. Add one in Open Library.

Books by Anne E. Haxthausen (50 max)

+ shelf+ list

Applicable Formal Methods for Safe Industrial Products: Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday

2023

Anne E. Haxthausen, Wen-ling Huang, Markus Roggenbach

+ shelf+ list

Formal Methods for Industrial Critical Systems 29th International Conference, FMICS 2024, Milan, Italy, September 9-13, 2024, Proceedings

2024

Anne E. Haxthausen, Wendelin Serwe