Pakonen, Antti ; Biswas, Prasun ; Papakonstantinou, Nikolaos Pakonen , A , Biswas , P & Papakonstantinou , N 2020 , Transformation of non-standard nuclear I &C logic drawings to formal verification models . in IECON 2020 : 46th Annual Conference of the IEEE Industrial Electronics Society . IEEE Institute of Electrical and Electronic Engineers , pp. 697-704 , 46th Annual Conference of the IEEE Industrial Electronics Society, IECON 2020 , Singapore , Singapore , 18/10/20 . https://doi.org/10.1109/iecon43393.2020.9255176.
,
2020