On Mutating UPPAAL Timed Automata to Assess Robustness of Web Services

Faezeh Siavashi, Dragos Truscan, Jüri Vain

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

Hakutulokset