Mareike Mutz

According to our database, Mareike Mutz authored at least 2 papers between 2019 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2020

Modelling and Validating an Automotive System in Classical B and Event-B.

Michael Leuschel, Mareike Mutz, Michelle Werth

Proceedings of the Rigorous State-Based Methods - 7th International Conference, 2020

2019

Property-Based Modelling and Validation of a CBTC Zone Controller in Event-B.

Mathieu Comptier, Michael Leuschel, Luis-Fernando Mejia, Julien Molinero Perez, Mareike Mutz

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2019