Frank Singhoff

Documents

Publications

"mounir-lallali"

"valerie-anne-nicolas"

	Verification of Scheduling Properties Based on Execution Traces Valérie-Anne Nicolas , Mounir Lallali , Stéphane Rubini , Frank Singhoff Ada User Journal, 2018 Article dans une revue hal-01868846v1
	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