Model-Checking Detailed Fault-Tolerant Nuclear Power Plant Safety Functions

Igor Buzhinsky*, Antti Pakonen

*Corresponding author for this work

Research output: Contribution to journalArticleScientificpeer-review

12 Citations (Scopus)
98 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Model-Checking Detailed Fault-Tolerant Nuclear Power Plant Safety Functions'. Together they form a unique fingerprint.

Computer Science