CPSDebug: Automatic failure explanation in CPS models

Ezio Bartocci, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis, Dejan Nickovic

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	783-796
Number of pages	14
Journal	International Journal on Software Tools for Technology Transfer
Volume	23
DOIs	https://doi.org/10.1007/s10009-020-00599-4
Publication status	Published - 2021

Research Field

@article{b3f95547368a489bbb5fdfe02f311cfd,

title = "CPSDebug: Automatic failure explanation in CPS models",

author = "Ezio Bartocci and Niveditha Manjunath and Leonardo Mariani and Cristinel Mateis and Dejan Nickovic",

year = "2021",

doi = "10.1007/s10009-020-00599-4",

language = "English",

volume = "23",

pages = "783--796",

journal = "International Journal on Software Tools for Technology Transfer",

issn = "1433-2779",

publisher = "Springer Verlag",

}

TY - JOUR

T1 - CPSDebug: Automatic failure explanation in CPS models

AU - Bartocci, Ezio

AU - Manjunath, Niveditha

AU - Mariani, Leonardo

AU - Mateis, Cristinel

AU - Nickovic, Dejan

PY - 2021

Y1 - 2021

U2 - 10.1007/s10009-020-00599-4

DO - 10.1007/s10009-020-00599-4

M3 - Article

SN - 1433-2779

VL - 23

SP - 783

EP - 796

JO - International Journal on Software Tools for Technology Transfer

JF - International Journal on Software Tools for Technology Transfer

ER -