Elke Hintze

Publication Activity (10 Years)

Years Active: 2012-2017
Publications (10 Years): 1

Top Topics

Formal Verification

Mutation Testing

Top Venues

Publications

Holger Zipper, Marco Meier, Elke Hintze, Christian Diedrich
Implementing state machines in distributed event-based systems. EBCCSP (2017)
Jan Krause, Elke Hintze, Stephan Magnus, Christian Diedrich
Model Based Specification, Verification, and Test Generation for a Safety Fieldbus Profile. SAFECOMP (2012)