NORTH: Non-intrusive Observation and RunTime verification of cyber-pHysical systems.
José Rufino
,
António Casimiro
,
Antónia Lopes
,
Frank Singhoff
(1, 2)
,
Stéphane Rubini
(2)
,
Valérie-Anne Nicolas
,
Mounir Lallali
(2)
,
Mourad Dridi
(2)
,
Jalil Boukhobza
(2)
,
Lyes Allache
José Rufino
- Function : Author
António Casimiro
- Function : Author
- PersonId : 1003256
Antónia Lopes
- Function : Author
- PersonId : 1007073
Frank Singhoff
- Function : Author
- PersonId : 2860
- IdHAL : frank-singhoff
- IdRef : 057757380
Stéphane Rubini
- Function : Author
- PersonId : 13231
- IdHAL : stephane-rubini
- ORCID : 0000-0002-3206-0310
- IdRef : 223329940
Valérie-Anne Nicolas
- Function : Author
- PersonId : 753792
- IdHAL : valerie-anne-nicolas
Jalil Boukhobza
- Function : Author
- PersonId : 1840
- IdHAL : jalil-boukhobza
- ORCID : 0000-0002-2194-4006
- IdRef : 09772582X
Lyes Allache
- Function : Author