Abstract : This paper briefly reports on the first international summer school on Runtime Verification: Branches of practical topics rooted in theory, co-organized and sponsored by COST Action IC1402 ArVi which was held September 23-25, Madrid, Spain as part of the 16th international conference on Runtime Verification (RV 2016).
https://hal.inria.fr/hal-01428838 Contributor : Yliès FalconeConnect in order to contact the contributor Submitted on : Friday, January 6, 2017 - 3:41:19 PM Last modification on : Friday, February 4, 2022 - 3:29:46 AM Long-term archiving on: : Friday, April 7, 2017 - 3:02:55 PM
Christian Colombo, Yliès Falcone. First International Summer School on Runtime Verification: as part of the ArVi COST Action 1402. Sixteenth International Conference on Runtime Verification, Sep 2016, Madrid, Spain. ⟨hal-01428838⟩