Login / Signup
Marc Behrens
Publication Activity (10 Years)
Years Active: 2013-2013
Publications (10 Years): 0
Top Topics
Software Intensive Systems
Formal Specification
Adaptive Systems
Fault Tolerant
Top Venues
Software Engineering (Workshops)
</>
Publications
</>
Hardi Hungar
,
Marc Behrens
Opening up the Verification and Validation of Safety-Critical Software.
Software Engineering (Workshops)
(2013)