NORTH: Non-intrusive Observation and RunTime verification of cyber-pHysical systems.

José Rufino AuthorId : 873383
Author

António Casimiro AuthorId : 1502779
Mail :
Author

Antónia Lopes AuthorId : 1534854
Mail :
Author

Frank Singhoff ^{1, 2} AuthorId : 1127303
Mail :
Author IdHAL : frank-singhoff

Stéphane Rubini ² AuthorId : 101797
Mail :
Author IdHAL : stephane-rubini ORCID : https://orcid.org/0000-0002-3206-0310

Valérie-Anne Nicolas AuthorId : 624398
Mail :
Author

Mounir Lallali ² AuthorId : 732191
Mail : Site :
Author IdHAL : mounir-lallali

Mourad Dridi ² AuthorId : 1228822
Author Employer institution : Laboratoire des Sciences et Techniques de l'Information, de la Communication et de la Connaissance

Jalil Boukhobza ² AuthorId : 956262
Mail : Site :
Author IdHAL : jalil-boukhobza ORCID : https://orcid.org/0000-0002-2194-4006

Lyes Allache AuthorId : 11269523
Author