1. Formal Verification of Simulink/Stateflow Diagrams : A Deductive Approach /: A Deductive Approach. (2017) Authors: Zhan, Naijun; Wang, Shuling; Zhao, Hengjun Other Names: École nationale supérieure des beaux-arts (France) Record Type: Book Extent: 1 online resource, illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗