Model checking methodology for supporting safety critical software development and verification

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

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

    2 Citations (Scopus)

    Fingerprint

    Dive into the research topics of 'Model checking methodology for supporting safety critical software development and verification'. Together they form a unique fingerprint.

    Keyphrases

    INIS

    Computer Science