Maintenance analysis and optimization via statistical model checking: Evaluating a train pneumatic compressor

Enno J.J. Ruijters, Dennis Guck, Peter Drolenga, Margot Peters, Mariëlle I.A. Stoelinga

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    15 Citations (Scopus)
    188 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'Maintenance analysis and optimization via statistical model checking: Evaluating a train pneumatic compressor'. Together they form a unique fingerprint.

    Computer Science