Abstraction refinement-based verification of timed automata
Időzített automaták absztrakciófinomítás-alapú verifikációja
  • Metaadatok
Tartalom: http://hdl.handle.net/10890/15788
Archívum: Műegyetem Digitális Archívum
Gyűjtemény: 3. Disszertációk (BME)
Informatikai Tudományok Doktori Iskola
Cím:
Abstraction refinement-based verification of timed automata
Időzített automaták absztrakciófinomítás-alapú verifikációja
Létrehozó:
Tóth, Tamás
Közreműködő:
Majzik, István
Dátum:
2021-10-12T13:01:28Z
2021-10-12T13:01:28Z
2021
Nyelv:
angol
Típus:
Disszertáció
Formátum:
application/pdf
application/pdf
application/pdf
Azonosító: