Bernhard Schätz

Books
Formal Methods for Industrial Critical Systems Formal Methods for Industrial Critical Systems
Formal Methods for Industrial Critical Systems
2011
Model-Based Engineering of Embedded Real-Time Systems Model-Based Engineering of Embedded Real-Time Systems
Model-Based Engineering of Embedded Real-Time Systems
2010