Naijun Zhan – författare
Visar alla böcker från författaren Naijun Zhan.
6 produkter
Symposium on Real-Time and Hybrid Systems
Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday
Av Cliff Jones, Ji Wang m. fl.
Häftad, 2018
729 kr
Lägg i varukorg
Formal Methods
24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings
Av Marieke Huisman, Corina Păsăreanu m. fl.
Häftad, 2021
1589 kr
Lägg i varukorg
Formal Verification of Simulink/Stateflow Diagrams
A Deductive Approach
Av Naijun Zhan, Shuling Wang m. fl.
Inbunden, 2016
1619 kr
Lägg i varukorg
Dependable Software Engineering: Theories, Tools, and Applications
Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings
Av Martin Fränzle, Deepak Kapur m. fl.
Häftad, 2016
729 kr
Lägg i varukorg
Formal Verification of Simulink/Stateflow Diagrams
A Deductive Approach
Av Naijun Zhan, Shuling Wang m. fl.
Häftad, 2018
1619 kr
Lägg i varukorg
Formal Methods and Software Engineering
26th International Conference on Formal Engineering Methods, ICFEM 2025, Hangzhou, China, November 10–13, 2025, Proceedings
Av Étienne André, Jingyi Wang m. fl.
Häftad, 2025
1069 kr
Lägg i varukorg