Transformation of non-standard nuclear I&C logic drawings to formal verification models

Antti Pakonen, Prasun Biswas, Nikolaos Papakonstantinou

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

1 Citation (Scopus)
221 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Transformation of non-standard nuclear I&C logic drawings to formal verification models'. Together they form a unique fingerprint.

Keyphrases

INIS

Computer Science