Verification of the PRISE safety procedure by formal methods
Cím | Verification of the PRISE safety procedure by formal methods |
Közlemény típusa | Conference Paper |
Kiadás éve | 2007 |
Szerzők | Németh, E., and Bartha, T. |
Konferencia neve | Proceedings of the 8th International PhD Workshop on Systems and Control |
Kiadás dátuma | 2007 |
Jegyzetek | On CD |