Original language | English |
---|---|
Title of host publication | Automaatio XVIII 2009 Seminaari |
Publication status | Published - 2009 |
MoE publication type | A4 Article in a conference publication |
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 proceeding › Conference contribution › Scientific › peer-review