Automatic Failure Explanation in CPS Models

Ezio Bartocci, Niveditha Manjunath (Speaker), Leonardo Mariani, Cristinel Mateis, Dejan Nickovic

Research output: Chapter in Book or Conference ProceedingsConference Proceedings with Oral Presentationpeer-review

Original languageEnglish
Title of host publicationSoftware Engineering and Formal Methods - 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings
Number of pages17
Publication statusPublished - 2019
EventSEFM 2019 -
Duration: 18 Sept 201920 Sept 2019


ConferenceSEFM 2019

Research Field

  • Dependable Systems Engineering

Cite this