Browsing by Author Leucker, Martin
Showing results 1 to 4 of 4
| Issue Date | Title | Author(s) |
| 2019 | COST Action IC 1402 ArVI : runtime verification beyond monitoring - activity report of working group 1 | Ahrendt, Wolfgang; Artho, Cyrille; Colombo, Christian; ¹ó²¹±ô³¦´Ç²Ô±ð,&#³æ20;³Û±ô¾±Ã¨²õ; °°ù²õ³Ù¾±Ä‡,&#³æ20;³§°ùµ¨²¹²Ô; Leucker, Martin; Lorber, Florian; ³¢´Ç³Ü°ù±ð²Ôç´Ç,&#³æ20;´³´Ç²¹Ì‹´Ç&#³æ20;²Ñ.; Mariani, Leonardo; Sanchez, Cesar; Schneider, Gerardo; Stolz, Volker |
| 2018 | COST Action IC1402 runtime verification beyond monitoring | Colombo, Christian; ¹ó²¹±ô³¦´Ç²Ô±ð,&#³æ20;³Û±ô¾±Ã¨²õ; Leucker, Martin; Reger, Giles; Sanchez, Cesar; Schneider, Gerardo; Stolz, Volker |
| 2021 | Preface | Leucker, Martin; Colombo, Christian |
| 2018 | Runtime verification | Colombo, Christian; Leucker, Martin |
