Formal Verification for Advanced Sensing Applications: Data Pre-processing in the INSPEX System

Joseph Razavi, Richard Banach, Suzanne Lesecq, Olivier Debicki, Nicolas Mareau, Julie Foucault, Marc Correvon, Gabriela Dudnik

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

40 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Formal Verification for Advanced Sensing Applications: Data Pre-processing in the INSPEX System'. Together they form a unique fingerprint.

Computer Science