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 éveElfogadva
SzerzőkFarkas, R., Tóth, T., Hajdu, Á., and Vörös, A.
Konferencia neve18th International Workshop on Automated Verification of Critical Systems
Konferencia helyszíneOxford, England