Naijun Zhan

No bio available. Add one in Open Library.

Books by Naijun Zhan (50 max)

+ shelf+ list

Formal Verification of Simulink/Stateflow Diagrams A Deductive Approach

2016

Naijun Zhan, Shuling Wang, Hengjun Zhao

+ shelf+ list

Dependable Software Engineering : Theories, Tools, and Applications Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings

2016

Martin änzle, Deepak Kapur, Naijun Zhan

+ shelf+ list

Symposium on Real-Time and Hybrid Systems : Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday

2018

Cliff Jones, Ji Wang, Naijun Zhan

+ shelf+ list

Formal Methods 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings

2021

Marieke Huisman, Corina Pasareanu, Naijun Zhan