Application Areas and Projects › Lecture 06: Statecharts › Lecture 04: Model checking › Scalable Modeling Technologies in the Wild: An Experience Report on Wind Turbines Control Applications Development › Graph Query by Example ›

Implementation of a testing and diagnostic concept for an NPP reactor protection system

CímImplementation of a testing and diagnostic concept for an NPP reactor protection system
Közlemény típusaJournal Article
Kiadás éve2005
SzerzőkBartha, T., Varga, I., Soumelidis, A., and Szabó, G.
FolyóiratLecture Notes in Computer Science
Kötet3463
Pagination391 - 402
Kiadás dátuma2005
ISBN-szám0302-9743

Nyelvek

  • English
  • Magyar

Belépés

Navigáció