Verification of the PRISE safety procedure by formal methods
| Title | Verification of the PRISE safety procedure by formal methods |
| Publication Type | Conference Paper |
| Year of Publication | 2007 |
| Authors | Németh, E., and Bartha, T. |
| Conference Name | Proceedings of the 8th International PhD Workshop on Systems and Control |
| Date Published | 2007 |
| Notes | On CD |
