Browse wiki

From Navigators

Jump to: navigation, search
Project:COST Action IC1402
Acronym ARVI  +
Duration months 48  +
Keywords Runtime Verification  +
Month dec  +
NavigatorsSite FCUL  +
Numerical start date 2,014.12  +
Past Project false  +
Project Number COST Action IC1402  +
ResearchLine Timeliness and Adaptation in Dependable Systems (TADS) +
Researchers José Rufino + , Inês Gouveia +
Sponsor COST (European Cooperation in Science and Technology)  +
Team Size 2  +
Title Runtime Verification Beyond Monitoring  +
Total award amount 0  +
Url https://www.cost-arvi.eu/  +
Year 2014  +
Categories Project  +
Modification dateThis property is a special property in this wiki. 18 May 2017 12:41:40  +
hide properties that link here 
Publication:A Tool for Real-Time Assessment of IEEE 802.15.4 Networks Through Fault Injection + , Publication:Alves:2017-CANFD-ESI-INForum17 + , Publication:Caldeira2015Extreme + , Publication:Casimiro-2017-ADA-Europe + , Publication:Gouveia-2016-CERTS + , Publication:Gouveia-2016-INForum-Poster + , Publication:Gouveia:MSc-Thesis-2017 + , Publication:JRufino-2016-OSPERT + , Publication:JRufino-2016-SIGBED + , Publication:Pinto2014EWiLi14-Poster + , Publication:Rufino18A + , Publication:Rufino18B + , Publication:Rufino18C + , Publication:Rufino18D + , Publication:Rufino18E + Project
 

 

Enter the name of the page to start browsing from.
Views
Personal tools
Toolbox
Navigators toolbox