Browse wiki
From Navigators
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 | true + |
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. | 26 April 2019 18:01:58 + |
hide properties that link here |