TY  - GEN
T1  - Formal verification of Simulink/Stateflow diagrams a deductive approach
A1  - Zhan, Naijun
A1  - Wang, Shuling
A1  - Zhao, Hengjun
LA  - English
PP  - Cham
PB  - Springer
YR  - 2017
UL  - https://tuklas.up.edu.ph/Record/UP-99796217613140636
SN  - 9783319470160 (online ISBN)
KW  - SIMULINK.
KW  - Stateflow.
KW  - Computer software : Verification.
KW  - Electronic books.
ER  -