haku: @keyword turva-automaatiojärjestelmät / yhteensä: 2
viitteet: 2-2 / 2
« edellinen sivu | seuraava sivu »
 otsikkovuositekijä
2.
Applying model checking to analysing safety instrumented systems
2008 Koskimies, Matti
« edellinen sivu | seuraava sivu »
INSSI