CPSDebug: Automatic failure explanation in CPS models
Crossref DOI link: https://doi.org/10.1007/s10009-020-00599-4
Published Online: 2021-01-08
Published Print: 2021-10
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Bartocci, Ezio
Manjunath, Niveditha
Mariani, Leonardo
Mateis, Cristinel
Ničković, Dejan
Funding for this research was provided by:
TU Wien
Text and Data Mining valid from 2021-01-08
Version of Record valid from 2021-01-08
Article History
Accepted: 1 December 2020
First Online: 8 January 2021