Anne E. Haxthausen

Anne E. Haxthausen

2 books in the database

Books

Applicable Formal Methods for Safe Industrial ProductsAnne E. Haxthausen

Applicable Formal Methods for Safe Industrial Products

Anne E. Haxthausen · 2023

Formal Methods for Industrial Critical SystemsAnne E. Haxthausen

Formal Methods for Industrial Critical Systems

Anne E. Haxthausen · 2024