Login / Signup
Michael Wasilewski
Publication Activity (10 Years)
Years Active: 2011-2013
Publications (10 Years): 0
Top Topics
Software Engineering
Formal Specification
Fault Tolerant
Regulatory Requirements
Top Venues
Software Engineering (Workshops)
</>
Publications
</>
Michael Wasilewski
,
Wilhelm Hasselbring
,
Dirk Nowotka
Defining Requirements on Domain-Specific Languages in Model-Driven Software Engineering of Safety-Critical Systems.
Software Engineering (Workshops)
(2013)
Michael Wasilewski
,
Wilhelm Hasselbring
A Formal and Pragmatic Approach to Engineering Safety-critical Rail Vehicle Control Software.
Software Engineering
(2011)