Login / Signup
Margot Peters
Publication Activity (10 Years)
Years Active: 2016-2016
Publications (10 Years): 1
Top Topics
Temporal Properties
Model Checker
Timed Automata
Top Venues
QEST
</>
Publications
</>
Enno Ruijters
,
Dennis Guck
,
Peter Drolenga
,
Margot Peters
,
Mariëlle Stoelinga
Maintenance Analysis and Optimization via Statistical Model Checking - Evaluating a Train Pneumatic Compressor.
QEST
(2016)