Frank Singhoff

Documents

Publications

valerie-anne-nicolas

"mounir-lallali"

"mourad-dridi"

	NORTH: Non-intrusive Observation and RunTime verification of cyber-pHysical systems. José Rufino , António Casimiro , Antónia Lopes , Frank Singhoff , Stéphane Rubini Ada User Journal, 2018 Article dans une revue hal-01869010v1