Model Checking Methodology for Supporting Safety Critical Software Development and Verification

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

    2 Citations (Scopus)
    Original languageEnglish
    Title of host publicationReliability, Risk and Safety: Back to the Future
    Subtitle of host publicationEuropean Safety and Reliability Annual Conference ESREL 2010, Rhodes; Greece; 5-9 September 2010
    EditorsBen J.M. Ale, Ioannis A. Papazoglou, Enrico Zio
    PublisherCRC Press
    ISBN (Print)978-041560427-7
    Publication statusPublished - 2010
    MoE publication typeB3 Non-refereed article in conference proceedings

    Cite this