Formal Modelling and Verification of Specifications for the I&C System Software in NPPs
| Cím | Formal Modelling and Verification of Specifications for the I&C System Software in NPPs |
| Közlemény típusa | Conference Paper |
| Kiadás éve | 2006 |
| Szerzők | Bartha, T., and Németh, E. |
| Szerkesztő | Thunem, A. P. - J. |
| Kiadás dátuma | 2006 |
| Jegyzetek | Art. No.: 11On CD |
