Browse
FAQ

Author

Naijun Zhan

4 books found

Cover of Formal Methods

Formal Methods

Marieke Huisman, Corina Pasareanu, Naijun Zhan · First published 2021

Cover of Symposium on Real-Time and Hybrid Systems

Symposium on Real-Time and Hybrid Systems

Cliff Jones, Ji Wang, Naijun Zhan · First published 2018

Cover of Dependable Software Engineering : Theories, Tools, and Applications

Dependable Software Engineering : Theories, Tools, and Applications

Martin änzle, Deepak Kapur, Naijun Zhan · First published 2016

Cover of Formal Verification of Simulink/Stateflow Diagrams

Formal Verification of Simulink/Stateflow Diagrams

Naijun Zhan, Shuling Wang, Hengjun Zhao · First published 2016