| Original language | English |
|---|---|
| Title of host publication | FMIS 2018 |
| Publication status | Accepted/In press - 18 May 2018 |
Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver
Application of Formal Methods in the INSPEX Smart Systems Integration Project
- Richard Banach
- , Joseph Razavi
- , Olivier Debicki
- , Nicolas Mareau
- , Suzanne Lesecq
- , Julie Foucault
Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review