Evaluation of Fault Tolerance Mechanisms with Model Checking

Thumbnail
Megtekintés/Megnyitás
Metaadat
Teljes megjelenítés
Link a dokumentumra való hivatkozáshoz:
http://hdl.handle.net/10890/15121
Gyűjtemény
Cím és alcím
Evaluation of Fault Tolerance Mechanisms with Model Checking
Szerző
Molnár, Vince
Majzik, István
Megjelenés ideje
2016
Hozzáférés szintje
Open access
Szerzői jog tulajdonosa
Budapest University of Technology and Economics
Konferencia címe
23rd PhD Mini-Symposium
Konferencia helye
Online
Konferencia ideje
February 8-9, 2016
Nyelv
en
Terjedelem
30 - 33
Változat
Published
A cikket/könyvrészletet tartalmazó dokumentum címe
Proceedings of the 23rd PhD Mini-Symposium
ISBN, e-ISBN
ISBN 978-963-313-220-3
Dokumentumtípus
könyvfejezet
Műfaj
Konferenciacikk
Tudományterület
Műszaki tudományok
Tudományág
Informatikai tudományok
Egyetem
Budapest University of Technology and Economics
Tanszék / Szervezeti egység
Department of Measurement and Information Systems