| Original language | English |
|---|---|
| Title of host publication | Automaatio XVIII 2009 Seminaari |
| Publication status | Published - 2009 |
| MoE publication type | A4 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 article in proceedings › Scientific › peer-review