| 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 +
|
