Integrating model checking with safety-critical I&C software design

Antti Pakonen, Jussi Lahtinen, Veli-Pekka Kuutti, Tommi Karhela

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

    Fingerprint

    Dive into the research topics of 'Integrating model checking with safety-critical I&C software design'. Together they form a unique fingerprint.

    Keyphrases

    INIS

    Computer Science