Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of {CPS} Week)

View Statistics Email Alert RSS Feed

Book details Buch-Details

Book title Buchtitel
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of {CPS} Week)
 

Publications Publikationen


Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Bartocci, Ezio ; Ferrere, Thomas ; Manjunath, Niveditha ; Nickovic, Dejan Localizing Faults in Simulink/Stateflow Models with {STL}Konferenzbeitrag Inproceedings 2018