Formal Verification of Safety Automation Logic Designs

Reference:

Janne Valkonen, Matti Koskimies, Kim Björkman, Keijo Heljanko, Ilkka Niemelä, and Jari J. Hämäläinen. Formal verification of safety automation logic designs. In Automaatio XVIII 2009 Seminaari, pages 1–1, 2009.

Suggested BibTeX entry:

@inproceedings{Valkonen.etal:Automaatiopaivat2009,
    author = {Janne Valkonen and Matti Koskimies and Kim Bj{\"o}rkman and Keijo Heljanko and Ilkka Niemel{\"a} and Jari J. H{\"a}m{\"a}l{\"a}inen},
    booktitle = {Automaatio XVIII 2009 Seminaari},
    pages = {1--1},
    title = {Formal Verification of Safety Automation Logic Designs},
    year = {2009},
}