👤

Naijun Zhan

2 books

Books by Naijun Zhan

Symposium on Real-Time and Hybrid Systems
Symposium on Real-Time and Hybrid Systems
2018
Formal Verification of Simulink/Stateflow Diagrams
Formal Verification of Simulink/Stateflow Diagrams
2016