TRON2UPPAAL Backtracer Tool – From TRON Logs to UPPAAL Traces

Junaid Iqbal, Dragos Truscan, J Vain, Ivan Porres Paltor

Information Technology

Research output: Book/Journal/Report › Commissioned report › Professional

17 Downloads (Pure)

1 results

Filter

Finished

N4S: Need for Speed
Porres Paltor, I., Nybom, K., Truscan, D., Ashraf, A., Troubitsyna, E., Byholm, B., Rauf, I. M. & Ahmad, T.
01/01/14 → 31/12/16
Project: Industry/Business Finland