CPSDebug: Automatic failure explanation in CPS models.
Saved in:
| Title: | CPSDebug: Automatic failure explanation in CPS models. |
|---|---|
| Authors: | Bartocci, Ezio1, Manjunath, Niveditha1,2, niveditha.manjunath@live.com, Mariani, Leonardo3, Mateis, Cristinel2, Ničković, Dejan2 |
| Source: | International Journal on Software Tools for Technology Transfer; Oct2021, Vol. 23 Issue 5, p783-796, 14p |
| Database: | Applied Science & Technology Source |
| ISSN: | 14332779 |
|---|---|
| DOI: | 10.1007/s10009-020-00599-4 |
