Igor Buzhinsky, Antti Pakonen, Valeriy Vyatkin. Explicit-state and symbolic model checking of nuclear I&C systems: A comparison. In IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society, Beijing, China, October 29 - November 1, 2017. pages 5439-5446, IEEE, 2017. [doi]
Abstract is missing.