Formal Verification of Simulink/Stateflow Diagrams

MLA

Zhan, Naijun; Wang, Shuling; Zhao, Hengjun, Shuling Wang, and Hengjun Zhao. Formal Verification of Simulink/stateflow Diagrams. Springer International Publishing, 2017.

APA

Zhan, H., Wang, S., & Zhao, H. (2017). Formal Verification of Simulink/Stateflow Diagrams. Springer International Publishing.

Chicago

Zhan, Naijun; Wang, Shuling; Zhao, Hengjun, Shuling Wang, and Hengjun Zhao. Formal Verification of Simulink/stateflow Diagrams. : Springer International Publishing, 2017.