A Practical Application of UPPAAL and DTRON for Runtime Verification

Search results

• Finished

  N4S: Need for Speed

  Porres Paltor, I. (Principal Investigator), Nybom, K. (Co-Investigator), Truscan, D. (Co-Investigator), Ashraf, A. (Co-Investigator), Troubitsyna, E. (Co-Investigator), Byholm, B. (Co-Investigator), Rauf, I. M. (Co-Investigator) & Ahmad, T. (Co-Investigator)

  01/01/14 → 31/12/16

  Project: Industry/Business Finland

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

  Truscan, D. (Principal Investigator), Ahmad, T. (Co-Investigator), Iqbal, J. (Principal Investigator), Porres Paltor, I. (Co-Principal Investigator) & Siavashi, F. (Co-Investigator)

  01/01/12 → 31/12/15

  Project: Industry/Business Finland