Emergency diesel generator control system verification by model checking and compositional minimization

Jussi Lahtinen, Kim Björkman, Janne Valkonen, I. Niemelä

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

    Fingerprint

    Dive into the research topics of 'Emergency diesel generator control system verification by model checking and compositional minimization'. Together they form a unique fingerprint.

    Engineering & Materials Science