Analysis of an emergency diesel generator control system by compositional model checking: MODSAFE 2010 work report

Jussi Lahtinen, Kim Björkman, Janne Valkonen, Juho Frits, Ilkka Niemelä

    Research output: Book/ReportReport

    Fingerprint

    Dive into the research topics of 'Analysis of an emergency diesel generator control system by compositional model checking: MODSAFE 2010 work report'. Together they form a unique fingerprint.

    Engineering & Materials Science