Formal Verification of Safety Automation Logic Designs

Janne Valkonen, Matti Koskimies, Kim Björkman, Keijo Heljanko, Ilkka Niemelä, Jari J. Hämäläinen

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

    Original languageEnglish
    Title of host publicationAutomaatio XVIII 2009 Seminaari
    Publication statusPublished - 2009
    MoE publication typeA4 Article in a conference publication

    Cite this