A Practical Application of UPPAAL and DTRON for Runtime Verification

Hakutulokset

• 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

• PAM: Practical Applications of Model-based technologies to continuous integration & testing methodologies

  Truscan, D., Ahmad, T., Iqbal, J., Porres Paltor, I. & Siavashi, F.

  01/01/12 → 31/12/15

  Projekti: Industry/Business Finland