[ACM Press the 14th international conference - Chicago, IL, USA (2011.04.12-2011.04.14)] Proceedings of the 14th international conference on Hybrid systems: computation and control - HSCC '11 - A step towards verification and synthesis from simulink/stateflow models
Manamcheri, Karthik, Mitra, Sayan, Bak, Stanley, Caccamo, MarcoYear:
2011
Language:
english
DOI:
10.1145/1967701.1967749
File:
PDF, 684 KB
english, 2011