Yazar
Legay, Axel. editor.
Format:
Electronic Resources
Alıntı:
Invited Talk -- Validation, Synthesis and Optimization for Cyber-Physical Systems -- Verification
View Other Search Results
Yazar
Legay, Axel. editor.
Format:
Electronic Resources
Alıntı:
Verification -- Congruence Closure with Free Variables -- On Optimization Modulo Theories, MaxSMT and Sorting
View Other Search Results
Arama Sonuçlarını Sınırlandır
Daraltılmış: