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