Yazar
Duan, Zhenhua. editor.
Format:
Electronic Resources
Alıntı:
Simulation and Modeling. https://scigraph.springernature.com/ontologies/product-market-codes/I19000
Yazar
Liu, Shaoying. editor.
Format:
Electronic Resources
Alıntı:
submissions. The focus of this workshops was on following subjects: Modeling, specification, verification
View Other Search Results
Yazar
Tian, Cong. editor.
Format:
Electronic Resources
Alıntı:
; graph theory; model checking; modeling and specification; and verification and validation.
Yazar
Duan, Zhenhua. editor.
Format:
Electronic Resources
Alıntı:
verification and validation, software engineering, formal specification and modeling, software security, and
Yazar
Liu, Shaoying. editor.
Format:
Electronic Resources
Alıntı:
topical sections named: modeling and specification; animation and prototyping; verification and validation
Arama Sonuçlarını Sınırlandır
Daraltılmış: