| Original language | Finnish |
|---|---|
| Pages (from-to) | 6 - 8 |
| Journal | ATS Ydintekniikka |
| Volume | 39 |
| Issue number | 1 |
| Publication status | Published - 2010 |
| MoE publication type | D1 Article in a trade journal |
Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver
Turvallisuuskriittisten järjestelmien verifiointi mallintarkastuksella
- Janne Valkonen
- , Ilkka Niemelä
Research output: Contribution to journal › Article › Professional