Zoeken

U zocht naar: Auteur Naijun Zhan Filter Auteur: Naijun Zhan weghalen
1 - 4 van 4
Aantal zoekresultaten per pagina

Zoekresultaten

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