Verification of the PRISE safety procedure by formal methods

CímVerification of the PRISE safety procedure by formal methods
Közlemény típusaConference Paper
Kiadás éve2007
SzerzőkNémeth, E., and Bartha, T.
Konferencia neveProceedings of the 8th International PhD Workshop on Systems and Control
Kiadás dátuma2007
JegyzetekOn CD

Nyelvek

  • English
  • Magyar

Belépés

Navigáció