Fingerprint
Dive into the research topics of 'Exploring Applications of Formal Methods in the INSPEX Project'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Exploring Applications of Formal Methods in the INSPEX Project
Joseph Razavi, Richard Banach, Olivier Debicki, Nicolas Mareau, Suzanne Lesecq, Julie Foucault
Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review