TRON2UPPAAL Backtracer Tool – From TRON Logs to UPPAAL Traces

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

Information Technology

Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

17 Lataukset (Pure)

1 tulosta

Suodatin

Päättynyt

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
Projekti: Industry/Business Finland