ARVI: Runtime Verification Beyond Monitoring

From Navigators

(Difference between revisions)
Jump to: navigation, search
Line 1: Line 1:
{{Project
{{Project
|Acronym=ARVI
|Acronym=ARVI
-
|Title=COST Action IC1402 - Runtime Verification Beyond Monitoring
+
|Title=Runtime Verification Beyond Monitoring
|Past Project=no
|Past Project=no
|ResearchLine=Timeliness and Adaptation in Dependable Systems (TADS)
|ResearchLine=Timeliness and Adaptation in Dependable Systems (TADS)

Revision as of 18:16, 31 March 2017

https://www.cost-arvi.eu/


Publications

BibTeX

Navigators - ARVI project
Personal tools
Navigators toolbox