Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/91292| Title: | COST Action IC1402 runtime verification beyond monitoring |
| Other Titles: | Runtime verification |
| Authors: | Colombo, Christian Falcone, Yliès Leucker, Martin Reger, Giles Sanchez, Cesar Schneider, Gerardo Stolz, Volker |
| Keywords: | Computer software -- Verification Software engineering Computer software -- Security measures Software architecture |
| Issue Date: | 2018 |
| Publisher: | Springer |
| Citation: | Colombo, C., Falcone, Y., Leucker, M., Reger, G., Sanchez, C., Schneider, G., & Stolz, V. (2018). COST Action IC1402 runtime verification beyond monitoring. In C. Colombo & M. Leucker (Eds.), Runtime verification (pp. 18-26). Cham: Springer. |
| Abstract: | In this paper we report on COST Action IC1402 which studies Runtime Verification approaches beyond Monitoring. COST Actions are funded by the European Union and are an efficient networking instrument for researchers, engineers and scholars to cooperate and coordinate research activities. This COST action IC1402 lasted over the past four years, involved researchers from 27 different European countries and Australia and allowed to have many different working group meetings, workshops and individual visits. |
| URI: | https://www.um.edu.mt/library/oar/handle/123456789/91292 |
| Appears in Collections: | Scholarly Works - FacICTCS |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| COST_Action_IC1402_runtime_verification_beyond_monitoring_2018.pdf Restricted Access | 144.47 kB | Adobe PDF | View/Open Request a copy |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.