Towards Efficient CEGAR-Based Reachability Analysis of Timed Automata
  • Metaadatok
Tartalom: http://hdl.handle.net/10890/15116
Archívum: Műegyetem Digitális Archívum
Gyűjtemény: 1. Tudományos közlemények, publikációk
Konferenciák gyűjteményei
BME MIT PhD Minisymposium
BME MIT PhD Minisymposium, 2016, 23rd
Cím:
Towards Efficient CEGAR-Based Reachability Analysis of Timed Automata
Létrehozó:
Farkas, Rebeka
Vörös, András
Dátum:
2021-01-25T13:45:40Z
2021-01-25T13:45:40Z
2016
Nyelv:
angol
Típus:
könyvfejezet
Formátum:
application/pdf
Azonosító: