Yazar
Blanchette, Jasmin Christian. editor.
Format:
Electronic Resources
Alıntı:
Consistency: An Experience Report on a Middle-Sized Case Study -- A constraint optimization model for analysis
Yazar
Dillig, Isil. editor.
Format:
Electronic Resources
Alıntı:
Abstraction-based Control Synthesis -- Temporal Stream Logic: Synthesis beyond the Bools -- Run-Time Optimization
View Other Search Results
Yazar
Dingel, Juergen. editor.
Format:
Electronic Resources
Alıntı:
Role-Driven Variants -- A Model-Based System to Automate Cloud Resource Allocation and Optimization -- An
Arama Sonuçlarını Sınırlandır
Daraltılmış: