Fingerprint
Dive into the research topics of 'TRON2UPPAAL Backtracer Tool – From TRON Logs to UPPAAL Traces'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
TRON2UPPAAL Backtracer Tool – From TRON Logs to UPPAAL Traces
Junaid Iqbal, Dragos Truscan, J Vain, Ivan Porres Paltor
Research output: Book/Journal/Report › Commissioned report › Professional
26
Downloads
(Pure)