2015 | OriginalPaper | Buchkapitel
Second International Competition on Runtime Verification
CRV 2015
Autoren: Yliès Falcone, Dejan Ničković, Giles Reger, Daniel Thoma
2015 | OriginalPaper | Buchkapitel
Autoren: Yliès Falcone, Dejan Ničković, Giles Reger, Daniel Thoma
Print ISBN: 978-3-319-23819-7
Electronic ISBN: 978-3-319-23820-3
Copyright-Jahr: 2015
https://doi.org/10.1007/978-3-319-23820-3
Version: 0.1215.0