Application of Formal Methods in the INSPEX Smart Systems Integration Project

Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • External authors:
  • Olivier Debicki
  • Nicolas Mareau
  • Suzanne Lesecq
  • Julie Foucault

Bibliographical metadata

Original languageEnglish
Title of host publicationFMIS 2018
Publication statusAccepted/In press - 18 May 2018