Martina Muller

Publication Activity (10 Years)

Years Active: 2016-2016
Publications (10 Years): 1

Top Topics

Safety Analysis

Symbolic Model Checking

Top Venues

Publications

Martina Muller, Michael Roth, Udo Lindemann
The hazard analysis profile: Linking safety analysis and SysML. SysCon (2016)