Anne E. Haxthausen

Applicable Formal Methods for Safe Industrial Products

Formal Methods for Industrial Critical Systems