TRON2UPPAAL Backtracer Tool – From TRON Logs to UPPAAL Traces

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

Informationsteknologi

Forskningsoutput: Bok/tidskrift/rapport › Beställd rapport › Professionell

18 Nedladdningar (Pure)

1 resultat

Filter

Slutfört

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
Projekt: Företag/Business Finland