| Alkuperäiskieli | Englanti |
|---|---|
| Otsikko | Automaatio XVIII 2009 Seminaari |
| Tila | Julkaistu - 2009 |
| OKM-julkaisutyyppi | A4 Artikkeli konferenssijulkaisuussa |
Formal Verification of Safety Automation Logic Designs
Janne Valkonen, Matti Koskimies, Kim Björkman, Keijo Heljanko, Ilkka Niemelä, Jari J. Hämäläinen
Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu