Number of documents

1

Jalil Boukhobza


"Antónia Lopes"   

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⟩