Tron2Uppaal Back Tracer Tool - from TRON logs to UPPAAL traces

Iqbal, Junaid; Truscan, Dragos; Vain, Jüri (2015). Tron2Uppaal Back Tracer Tool - from TRON logs to UPPAAL traces. Turku: Turku Centre for Computer Science.
raamat/monograafia
Iqbal, Junaid; Truscan, Dragos; Vain, Jüri
  • Inglise
Turku
Turku Centre for Computer Science
1239-1891
978-952-12-3243-5
TUCS Technical Report
1138, June 2015
2015
26
Ilmunud
2.5. Projekti, tellitud teadustöö või analüüsi publitseeritud raport

Lisainfo