Verification of fault tolerant safety I&C systems using model checking
- Antti Pakonen
- , Igor Buzhinsky
- Aalto University
- ITMO University
Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review
7
Link opens in a new tab
Citations
(Scopus)
270
Downloads
(Pure)