Reading Length
Home
Speed Tests
Login
Hengjun Zhao
Identifiers
Open Library
OL8317333A
Top Subjects
Computer software (1)
Computer simulation (1)
Books by Hengjun Zhao
Total count: 1
Formal Verification of Simulink/Stateflow Diagrams
A Deductive Approach
Springer
2016-01-01