On Mutating UPPAAL Timed Automata to Assess Robustness of Web Services

Search results

• Finished

  MegaM@Rt2: MegaModelling at Runtime

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

  European Commission

  01/04/17 → 31/03/20

  Project: EU

• 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