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 proceeding › Conference article in proceedings › Scientific › peer-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

    Computer Science

    Medicine and Dentistry

    Physics