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

  José Rufino AuthorId : 873383
Author

  António Casimiro AuthorId : 1502779
Author

  Antónia Lopes AuthorId : 1534854
Author

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

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

  Valérie-Anne Nicolas AuthorId : 624398
Author IdHAL : valerie-anne-nicolas

  Mounir Lallali ² AuthorId : 732191
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 : 1110049
Author IdHAL : jalil-boukhobza ORCID : https://orcid.org/0000-0002-2194-4006

  Lyes Allache AuthorId : 11269523
Author