A Practical Application of UPPAAL and DTRON for Runtime Verification

Sökresultat

• Slutfört

  N4S: Need for Speed

  Porres Paltor, I. (Ansvarig forskare), Nybom, K. (CoI), Truscan, D. (CoI), Ashraf, A. (CoI), Troubitsyna, E. (CoI), Byholm, B. (CoI), Rauf, I. M. (CoI) & Ahmad, T. (CoI)

  01/01/14 → 31/12/16

  Projekt: Företag/Business Finland

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

  Truscan, D. (Ansvarig forskare), Ahmad, T. (CoI), Iqbal, J. (Ansvarig forskare), Porres Paltor, I. (CoPI) & Siavashi, F. (CoI)

  01/01/12 → 31/12/15

  Projekt: Företag/Business Finland