Yazar
Naijun Zhan
4 cilt bulundu.
Cilt sonuçları
Formal Verification of Simulink/Stateflow Diagrams
Naijun Zhan, Shuling Wang, Hengjun Zhao · Springer International Publishing AG
273 sayfa · 2016
Computer simulation / Computer software
Dependable Software Engineering : Theories, Tools, and Applications
Martin änzle, Deepak Kapur, Naijun Zhan · Springer International Publishing AG
323 sayfa · 2016
Software engineering
Formal Methods
Marieke Huisman, Corina Pasareanu, Naijun Zhan · Springer International Publishing AG
Sayfa sayısı yok · 2021
Kategori yok