Modell-vezérelt keretrendszer nyomonkövethetőségi modellek automatikus kezeléséhez › Ipari biztonságkritikus rendszerek tervezéskori automatikus ellenőrzése › Sztochasztikus analízis › Hatékony gráflekérdezési technikák › Dokumentumkezelő rendszer készítése ESB technológiával ›

Verification of a primary-to-secondary leaking safety procedure in a nuclear power plant using coloured Petri nets

CímVerification of a primary-to-secondary leaking safety procedure in a nuclear power plant using coloured Petri nets
Közlemény típusaJournal Article
Kiadás éve2009
SzerzőkNémeth, E., Bartha, T., Fazekas, C., and Hangos, K. M.
FolyóiratReliability Engineering & System Safety
Kötet94
Kiadás5
Pagination942 - 953
Kiadás dátuma2009
ISBN-szám0951-8320
JegyzetekUT: 000264542300006

Nyelvek

  • English
  • Magyar

Belépés

Navigáció