Towards Reliable Benchmarks of Timed Automata

CímTowards Reliable Benchmarks of Timed Automata
Közlemény típusaConference Paper
Kiadás éve2018
SzerzőkFarkas, R., and Bergmann, G.
SzerkesztőPataki, B.
Konferencia neveProceedings of the 25th PhD Mini-Symposium
KiadóBudapest University of Technology and Economics, Department of Measurement and Information Systems
PDF: 
application/pdf iconFull text

Nyelvek

  • English
  • Magyar

Belépés

Navigáció