Till sidans topp

Sidansvarig: Webbredaktion
Sidan uppdaterades: 2012-09-11 15:12

Tipsa en vän
Utskriftsversion

COST Action IC1402 Runtim… - Göteborgs universitet Till startsida
Webbkarta
Till innehåll Läs mer om hur kakor används på gu.se

COST Action IC1402 Runtime Verification Beyond Monitoring

Paper i proceeding
Författare Christian Colombo
Yliès Falcone
Martin Leucker
Gilles Reger
César Sánchez
Gerardo Schneider
Volker Stolz
Publicerad i 18th International Conference on Runtime Verification (RV'18), vol. 11237 of LNCS, pages 18-26
Förlag Springer
Publiceringsår 2018
Publicerad vid Institutionen för data- och informationsteknik, datavetenskap (GU)
Språk en
Länkar https://link.springer.com/chapter/1...
Ämneskategorier Datavetenskap (datalogi)

Sammanfattning

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.

Sidansvarig: Webbredaktion|Sidan uppdaterades: 2012-09-11
Dela:

På Göteborgs universitet använder vi kakor (cookies) för att webbplatsen ska fungera på ett bra sätt för dig. Genom att surfa vidare godkänner du att vi använder kakor.  Vad är kakor?