Runtime Verification beyond Monitoring

akronüüm: ARVI
algus: 2014-12-17
lõpp: 2018-12-16
 
programm: COST - Euroopa teaduse ja tehnika alane koostöövõrk
alaprogramm: ICT
projekti number: IC1402
kestus kuudes:
partnerite arv:
partneri jrk nr ja roll partneri nimi riik kontaktisik koduleht
koordinaator University of Lübeck DE Prof Martin LEUCKER
partner Tartu Ülikool EE Dr Vesal Vojdani
partner Tallinna Tehnikaülikool EE Dr Tarmo Uustalu