TCS / Research / Publications / Formal Verification of Safety Automation Logic Designs
Helsinki University of Technology, 
     Laboratory for Theoretical Computer Science

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, 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},
    title = {Formal Verification of Safety Automation Logic Designs},
    year = {2009},
}

See www.automaatioseura.fi ...

[TCS main] [Contact Info] [Personnel] [Research] [Publications] [Software] [Studies] [News Archive] [Links]
Latest update: 19 January 2010.