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 |
