Evaluation of Fault Tolerance Mechanisms with Model Checking

CímEvaluation of Fault Tolerance Mechanisms with Model Checking
Közlemény típusaConference Paper
Kiadás éve2016
SzerzőkMolnár, V., and Majzik, I.
SzerkesztőPataki, B.
Konferencia neveProceedings of the 23rd PhD Mini-Symposium
Konferencia helyszíneBudapest, Hungary
ISBN-szám978-963-313-220-3
PDF: 
application/pdf iconFull text

Nyelvek

  • English
  • Magyar

Belépés

Navigáció