Language: English
Help
Login
Languages
Jump To : Overview | Titles | Subjects

Zhan, Naijun.

Overview
Works: 3 works in 3 publications in 1 languages
Titles
Symposium on real-time and hybrid systems = essays dedicated to Professor Chaochen Zhou on the occasion of his 80th birthday / by: Wang, Ji.; Zhan, Naijun.; Jones, Cliff.; Zhou, Chaochen, (1937-,); SpringerLink (Online service) (Language materials, printed)
Symposium on Real-Time and Hybrid Systems = Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday / by: SpringerLink (Online service); Jones, Cliff.; Wang, Ji.; Zhan, Naijun. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Dependable software engineering = theories, tools, and applications : second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016 : proceedings / by: Zhan, Naijun.; Kapur, Deepak.; Workshop on the Preservation of Stability under Discretization ((2001 :); Franzle, Martin.; SpringerLink (Online service) (Language materials, printed)
Formal verification of Simulink/Stateflow diagrams = a deductive approach / by: Zhan, Naijun.; Zhao, Hengjun.; Wang, Shuling.; SpringerLink (Online service) (Language materials, printed)
Dependable Software Engineering: Theories, Tools, and Applications = Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings / by: Kapur, Deepak.; Zhan, Naijun.; SpringerLink (Online service); Fränzle, Martin. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Formal Methods = 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings / by: Păsăreanu, Corina.; SpringerLink (Online service); Zhan, Naijun.; Huisman, Marieke. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Formal Methods = 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings / by: Zhan, Naijun.; Huisman, Marieke.; SpringerLink (Online service); Păsăreanu, Corina. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
 
 
Change password
Login