NORTH: Non-intrusive Observation and RunTime verification of cyber-pHysical systems. - Université de Bretagne Occidentale Access content directly
Journal Articles Ada User Journal Year : 2018

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

José Rufino
  • Function : Author
António Casimiro
  • Function : Author
  • PersonId : 1003256
Antónia Lopes
  • Function : Author
  • PersonId : 1007073
Stéphane Rubini
Valérie-Anne Nicolas
Mounir Lallali
Mourad Dridi
Jalil Boukhobza
Lyes Allache
  • Function : Author
No file

Dates and versions

hal-01869010 , version 1 (06-09-2018)

Identifiers

  • HAL Id : hal-01869010 , version 1

Cite

José Rufino, António Casimiro, Antónia Lopes, Frank Singhoff, Stéphane Rubini, et al.. NORTH: Non-intrusive Observation and RunTime verification of cyber-pHysical systems.. Ada User Journal, 2018. ⟨hal-01869010⟩
64 View
0 Download

Share

Gmail Mastodon Facebook X LinkedIn More