Browse wiki

From Navigators

Jump to: navigation, search
Project:NORTH
Acronym NORTH  +
Coordinator José Rufino (PT) / Frank Singhoff (FR)  +
Duration months 24  +
Keywords Formal Methods; Modelling and Temporal Logics; Non-Intrusive Observation; Runtime Verification; Cyber-Physical Systems.  +
Month jan  +
NavigatorsSite FCUL  +
Numerical start date 2,017.01  +
Partners UBO - Université de Bretagne Occidentale  + , Lab-STICC UMR CNRS 6285  + , Brest (FR)  +
Past Project false  +
Project Number Bilateral cooperation - 3732 (PT) / 37932TF (FR)  +
ResearchLine Timeliness and Adaptation in Dependable Systems (TADS) +
Researchers José Rufino + , Antónia Lopes + , António Casimiro + , Inês Gouveia +
Sponsor FCT / Campus France  +
Team Size 4  +
Title Non-intrusive Observation and RunTime verification of cyber-pHysical systems  +
Total award amount 0  +
Year 2017  +
Categories Project  +
Modification dateThis property is a special property in this wiki. 6 November 2017 15:48:54  +
hide properties that link here 
Publication:Alves:2017-CANFD-ESI-INForum17 + , Publication:Alves:2017-CANFD-INForum + , Publication:Casimiro-2017-ADA-Europe + , Publication:Gouveia-2016-CERTS + , Publication:Gouveia-2016-INForum-Poster + , Publication:Gouveia:MSc-Thesis-2017 + Project
 

 

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