Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/30678| Title: | First international summer school on runtime verification : as part of the ArVi COST Action 1402 |
| Authors: | Colombo, Christian Falcone, Yliès |
| Keywords: | Artificial intelligence Computer science Summer schools Computer systems -- Verification |
| Issue Date: | 2016 |
| Publisher: | Springer Verlag |
| Citation: | Colombo, C., & Falcone, Y. (2016). First international summer school on runtime verification: as part of the ArVi COST Action 1402. 16th International Conference on Runtime Verification, Madrid. 17-20. |
| 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). |
| URI: | https://www.um.edu.mt/library/oar//handle/123456789/30678 |
| Appears in Collections: | Scholarly Works - FacICTCS |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| First_international_summer_school_on_runtime_verification.pdf Restricted Access | 66.1 kB | Adobe PDF | View/Open Request a copy |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.