Formal Modelling and Verification of Specifications for the I&C System Software in NPPs
| Title | Formal Modelling and Verification of Specifications for the I&C System Software in NPPs |
| Publication Type | Conference Paper |
| Year of Publication | 2006 |
| Authors | Bartha, T., and Németh, E. |
| Editor | Thunem, A. P. - J. |
| Date Published | 2006 |
| Notes | Art. No.: 11On CD |
