Backward reachability analysis for timed automata with data variables

CímBackward reachability analysis for timed automata with data variables
Közlemény típusaConference Paper
Kiadás éve2018
SzerzőkRebeka, F., Tóth, T., Hajdu, Á., and Vörös, A.
Konferencia neve18th International Workshop on Automated Verification of Critical Systems
KiadóEASST
Konferencia helyszíneOxford, England
DOI10.14279/tuj.eceasst.76.1076
PDF: