MPG.eBooks - Author Search Results

Cover Image

1

Theoretical Aspects of Computing - ICTAC 2008 : 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008, Proceedings

Published 2008

Springer Berlin Heidelberg

Other Authors: “...Haxthausen, Anne E....”

Cover Image

2

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : 4th International Conference, RSSRail 2022, Paris, France, June 1–2, 20...

Published 2022

Springer International Publishing

Other Authors: “...Haxthausen, Anne E....”

Cover Image

3

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

Published 2023

Springer Nature Switzerland

Other Authors: “...Haxthausen, Anne E....”