Abstraction refinement-based verification of timed automata

Advisor	Majzik, István
Author	Tóth, Tamás
Date accessioned	2021-10-12T13:01:28Z
Date available	2021-10-12T13:01:28Z
Date of issue	2021
URI of identifier	http://hdl.handle.net/10890/15788
Language	en	hu_HU
Title	Abstraction refinement-based verification of timed automata	hu_HU
Title and subtitle in another language	Időzített automaták absztrakciófinomítás-alapú verifikációja	hu_HU
Document type	Disszertáció	hu
Doctoral School	Informatikai Tudományok Doktori Iskola	hu_HU
Faculty	Villamosmérnöki és Informatikai Kar	hu_HU
Date of defence	2021-11-26
Identifiers [bmeomikk-aleph]	000723788
University	Budapesti Műszaki és Gazdaságtudományi Egyetem	hu_HU
Document genre	Doktori (Ph.D.) értekezés / Ph.D. Thesis	hu_HU
Identifiers [bmeomikkCallnumber]	K-9908

Informatikai Tudományok Doktori Iskola [199]
Doctoral School in Information Sciences