Mareike Mutz

Publication Activity (10 Years)

Years Active: 2019-2020
Publications (10 Years): 2

Top Topics

Temporal Structure

Classical Methods

Delayed Feedback

Abnormal Events

Top Venues

Publications

Michael Leuschel, Mareike Mutz, Michelle Werth
Modelling and Validating an Automotive System in Classical B and Event-B. ABZ (2020)
Mathieu Comptier, Michael Leuschel, Luis-Fernando Mejia, Julien Molinero Perez, Mareike Mutz
Property-Based Modelling and Validation of a CBTC Zone Controller in Event-B. RSSRail (2019)