Explicit-state and symbolic model checking of nuclear I&C systems: A comparison - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Igor Buzhinsky' in GoogleThis author has not been identified. Look up 'Antti Pakonen' in GoogleThis author has not been identified. Look up 'Valeriy Vyatkin' in Google

runs on WebDSL