Abstraction refinement-based verification of timed automata

Link a dokumentumra való hivatkozáshoz:

Cím és alcím: Abstraction refinement-based verification of timed automata
Cím és alcím más nyelven: Időzített automaták absztrakciófinomítás-alapú verifikációja
Szerző: Tóth, Tamás
Megjelenés ideje: 2021
Védés dátuma: 2021-11-26
Témavezető: Majzik, István
Nyelv: en
Egyéb azonosítók: BME OMIKK katalógus-azonosító: 000723788; BME OMIKK raktári jelzet: K-9908
Dokumentumtípus: Disszertáció
Műfaj: Doktori (Ph.D.) értekezés / Ph.D. Thesis
Egyetem: Budapesti Műszaki és Gazdaságtudományi Egyetem
Kar: Villamosmérnöki és Informatikai Kar
Doktori iskola: Informatikai Tudományok Doktori Iskola