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

Antti Pakonen, Prasun Biswas, Nikolaos Papakonstantinou

Browse the full IECON paper archive.