Personensuche
X
?
Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis ,
7
CPSDebug: a tool for explanation of failures in cyber-physi..:
, In:
?
Software Engineering and Formal Methods; Lecture Notes in Computer Science ,
11
Automatic Failure Explanation in CPS Models:
, In:
?
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) ,
12