Yazar
Piterman, Nir. editor.
Format:
Electronic Resources
Alıntı:
topical sections on hybrid systems; tools; verification of robotics; symbolic execution; model checking
View Other Search Results
Yazar
Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140
Format:
Electronic Resources
Alıntı:
provide an overview of research in the frontier of theories, methods, and tools for software modelling
View Other Search Results
Arama Sonuçlarını Sınırlandır
Daraltılmış: