"On Mutating UPPAAL Timed Automata to Assess Robustness of Web Services."

Faezeh Siavashi, Dragos Truscan, Jüri Vain (2016)

Details and statistics

DOI: 10.5220/0005970800150026

access: closed

type: Conference or Workshop Paper

metadata version: 2018-11-02

a service of  Schloss Dagstuhl - Leibniz Center for Informatics