Abstraction refinement-based verification of timed automata
Date
Authors
Advisor
Type
Disszertáció
Language
en
Alternative
Időzített automaták absztrakciófinomítás-alapú verifikációja
Date Defence
2021-11-26
Doctoral School
Informatikai Tudományok Doktori Iskola
Faculty
Villamosmérnöki és Informatikai Kar
Gender
Doktori (Ph.D.) értekezés / Ph.D. Thesis
University
Budapesti Műszaki és Gazdaságtudományi Egyetem