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.- Sort by
- Weight
- Alphabetically
Jussi Lahtinen, Kim Björkman, Janne Valkonen, I. Niemelä
Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review