On Mutating UPPAAL Timed Automata to Assess Robustness of Web Services

Faezeh Siavashi, Dragos Truscan, Jüri Vain

Informationsteknologi

Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

2 resultat

EU

MegaM@Rt2: MegaModelling at Runtime
Truscan, D., Ahmad, T., Iqbal, J., Porres Paltor, I., Siavashi, F. & Ashraf, A.
European Commission
01/04/17 → 31/03/20
Projekt: EU
Företag/Business Finland

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