Verification of a safety-related I&C system for nuclear power plant by model checking, test case generation and automatic testing
Date issued
2022
Journal Title
Journal ISSN
Volume Title
Publisher
IEEE
Abstract
Description
Subject(s)
Citation
AUSBERGER, T. KUBÍČEK, K. MEDVECOVÁ, P. WOLF, J. Verification of a safety-related I&C system for nuclear power plant by model checking, test case generation and automatic testing. In 2022 IEEE International Conference on Emerging Technologies and Factory Automation (ETFA). New York: IEEE, 2022. s. nestránkováno. ISBN: 978-1-66549-996-5 , ISSN: 1946-0740