DMCA

Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models

by Aditya Kanade , Rajeev Alur , Franjo Ivančić , S. Ramesh , K. C. Shashidhar
Citations:18 - 3 self