Sara Blessing

Publication Activity (10 Years)

Years Active: 2012-2012
Publications (10 Years): 0

Top Topics

Safety Analysis

Model Driven Development

Agent Architecture

Top Venues

Publications

Sara Blessing, Michaela Huhn
Formal Safety Analysis and Verification in the Model Driven Development of a Pacemaker Product Line. MBEES (2012)