Dependable Software Engineering :...
Dependable Software Engineering : Theories, Tools, and Applications
Year unknown
Martin änzle, Deepak Kapur, and Naijun Zhan
Formal Methods
Formal Methods
Year unknown
Marieke Huisman, Corina Pasareanu, and Naijun Zhan
Formal Verification of Simulink/Stateflow Diagrams
Year unknown
Naijun Zhan, Shuling Wang, and Hengjun Zhao
Symposium on Real-Time and Hybrid Systems
Year unknown
Cliff Jones, Ji Wang, and Naijun Zhan
Fetched from OpenLibrary. Some translations may appear as separate works.