Publikációk
] Szűrők: A Cím Első Betűje = F [Minden szűrő visszaállítása]
Formal Modelling and Verification of Specifications for the I&C System Software in NPPs,
, 2006.
Art. No.: 11On CD
"Formal Verification of Function Block Diagram based Specifications for the I&C",
System Software in NPPsIAEA Technical Meeting on "Common Cause Failures in Digital Instrumentation and Control Systems of Nuclear Power Plants", Bethesda, 2007.
Abstract
Art. No.: 27L3: citeulike-article-id:3911635KW: formal verification
On CD
"Formal Verification of Safety Functions by Reinterpretation of Functional Block Based Specifications",
Formal Methods for Industrial Critical Systems: Springer Verlag, pp. 199 - 214, 2009.
