Naijun Zhan

Identifiers

Open LibraryOL8006731A

Top Subjects

Software engineering (1)
Computer software (1)
Computer simulation (1)

Books by Naijun Zhan

Total count: 4

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

Springer International Publishing AG2016-01-01
Formal Verification of Simulink/Stateflow DiagramsA Deductive Approach

Springer2016-01-01
Symposium on Real-Time and Hybrid SystemsEssays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday

Springer2018-09-29
Formal Methods24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings

Springer International Publishing AG2021-01-01