Zhan, Naijun books & textbook
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
Zhan, Naijun Wang, Shuling Zhao, Hengjun
Springer /2018-06-29 Paperback / 273 Pages
isbn-10: 3319836382 / isbn-13: 9783319836386
Dependable Software Engineering: Theories, Tools, and Applications: Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings (Programming and Software Engineering)
Fränzle, Martin Kapur, Deepak Zhan, Naijun
Springer /2016-10-06 Paperback / 341 Pages
isbn-10: 3319476769 / isbn-13: 9783319476766
Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings (Programming and Software Engineering)
Huisman, Marieke Păsăreanu, Corina Zhan, Naijun
Springer /2021-11-10 Paperback / 820 Pages
isbn-10: 3030908690 / isbn-13: 9783030908690
Symposium on Real-Time and Hybrid Systems: Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday (Theoretical Computer Science and General Issues)
Jones, Cliff Wang, Ji Zhan, Naijun
Springer /2018-09-29 Paperback / 275 Pages
isbn-10: 3030014606 / isbn-13: 9783030014605
