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

Cite this

@inproceedings{e427c03a35524d3e80723d6a7e9016d3,

title = "Application of Formal Methods in the INSPEX Smart Systems Integration Project",

author = "Richard Banach and Joseph Razavi and Olivier Debicki and Nicolas Mareau and Suzanne Lesecq and Julie Foucault",

year = "2018",

month = may,

day = "18",

language = "English",

booktitle = "FMIS 2018",

}