Evaluation of Fault Tolerance Mechanisms with Model Checking

Contributor - Author	Molnár, Vince
Contributor - Author	Majzik, István
Date - Accessioned	2021-01-25T13:45:41Z
Date - Available	2021-01-25T13:45:41Z
Date - Issued	2016
Identifier - URI	http://hdl.handle.net/10890/15121
Language	en
Title	Evaluation of Fault Tolerance Mechanisms with Model Checking
Type	könyvfejezet
Accessrights	Open access
Rightsholder	Budapest University of Technology and Economics
Conference Date	February 8-9, 2016
Conference Place	Online
Conference Title	23rd PhD Mini-Symposium
Container Date Issued	2016
Container Identifier ISBN	ISBN 978-963-313-220-3
Container Publisher	Budapest University of Technology and Economics
Container Publisher Place	Online
Container Title	Proceedings of the 23rd PhD Mini-Symposium
Department	Department of Measurement and Information Systems
Description Version	Published
First Page	30
Last Page	33
Subject Area	Műszaki tudományok
Subject Field	Informatikai tudományok
Type Type	Konferenciacikk
University	Budapest University of Technology and Economics

Files

Now showing 1 - 1 of 1