Yazar
Koornneef, Floor. editor.
Format:
Electronic Resources
Alıntı:
embedded systems, automotive software, error detection, medical safety cases, medical systems, architecture
Yazar
Hospodár, Michal. editor.
Format:
Electronic Resources
Alıntı:
and tree transducers, architecture of oritatami systems, intruder deduction problem, context sensitive
View Other Search Results
Yazar
Biere, Armin. editor.
Format:
Electronic Resources
Alıntı:
Solvers: Eager and Lazy Approaches to Bit-Vectors -- AVATAR: The Architecture for First-Order Theorem
Arama Sonuçlarını Sınırlandır
Daraltılmış: