Towards Efficient CEGAR-Based Reachability Analysis of Timed Automata

CímTowards Efficient CEGAR-Based Reachability Analysis of Timed Automata
Közlemény típusaConference Paper
Kiadás éve2016
SzerzőkFarkas, R., and Vörös, A.
Konferencia neve23rd Minisymposium of the Department of Measurement and Information Systems
Kiadás dátuma2016
Konferencia helyszíneBudapest
PDF: 
application/pdf iconFull text

Nyelvek

  • English
  • Magyar

Belépés

Navigáció