Search

You searched for: Auteur Naijun Zhan Remove constraint Auteur: Naijun Zhan
1 - 4 of 4
Number of results to display per page

Search Results

1. Symposium on Real-Time and Hybrid Systems
thumbnail
Full text!
Author:
Jones; Ji Wang; Naijun Zhan; Wang, Ji; Zhan, Naijun
Publisher:
Springer International Publishing 2018
Format:
e-book
2. Dependable Software Engineering: Theories, Tools, and Applications
thumbnail
Full text!
Author:
Fränzle; Kapur, Deepak; Zhan, Naijun
Publisher:
Springer International Publishing 2016
Format:
e-book
3. Formal Methods : 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings
thumbnail
Full text!
Author:
Huisman, Marieke.; Păsăreanu, Corina; Zhan, Naijun
Publisher:
Cham Springer International Publishing AG 2021
Format:
e-book
4. Formal Verification of Simulink/Stateflow Diagrams
thumbnail
Full text!
Author:
Zhan, Naijun; Wang, Shuling; Zhao, Hengjun; Wang, Shuling; Zhao, Hengjun
Publisher:
Springer International Publishing 2017
Format:
e-book