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

Browse the full ICSoft paper archive.