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.- Sort by
- Weight
- Alphabetically
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 proceeding › Conference article in proceedings › Scientific › peer-review
122
Downloads
(Pure)