Number of documents

1

Jalil Boukhobza


"Valérie-Anne Nicolas"    "Mourad Dridi"    "Antónia Lopes"    Frank Singhoff   

Journal articles1 document

  • 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⟩