Hoppa till sidans huvudinnehåll

Naijun Zhan - Böcker

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, Engelska, 2018

729 kr

Skickas inom 10-15 vardagar

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, Engelska, 2021

1 589 kr

Skickas inom 10-15 vardagar

Formal Verification of Simulink/Stateflow Diagrams

A Deductive Approach

Av Naijun Zhan, Shuling Wang m. fl

Inbunden, Engelska, 2016

1 609 kr

Skickas inom 10-15 vardagar

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, Engelska, 2016

709 kr

Skickas inom 10-15 vardagar

Formal Verification of Simulink/Stateflow Diagrams

A Deductive Approach

Av Naijun Zhan, Shuling Wang m. fl

Häftad, Engelska, 2018

1 609 kr

Skickas inom 10-15 vardagar

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, Engelska, 2025

1 169 kr

Skickas inom 10-15 vardagar