Yazar
Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750
Format:
Electronic Resources
Alıntı:
systems, theorem proving, learning, verification, distributed algorithms, and program analysis.
Yazar
Badger, Julia M. editor.
Format:
Electronic Resources
Alıntı:
; techniques and algorithms for scaling formal methods, such as abstraction and symbolic methods, compositional
View Other Search Results
Yazar
Dillig, Isil. editor.
Format:
Electronic Resources
Alıntı:
Timed Automata -- Fast Algorithms for Handling Diagonal Constraints in Timed Automata -- Safety and
Arama Sonuçlarını Sınırlandır
Daraltılmış: