Yazar
Alferes, Jose Julio. editor.
Format:
Electronic Resources
Alıntı:
Rule Technologies. Research, Tools, and Applications 10th International Symposium, RuleML 2016
Yazar
Gurfinkel, Arie. editor.
Format:
Electronic Resources
Alıntı:
Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San
View Other Search Results
Yazar
Chechik, Marsha. editor.
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference
Yazar
Karydis, Ioannis. editor.
Format:
Electronic Resources
Alıntı:
topics in two main tracks: algorithmic aspects of large-scale data stores, and software tools and
Yazar
Bernardo, Marco. editor.
Format:
Electronic Resources
Alıntı:
Equations -- Modelling and Analysis of Collective Adaptive Systems with CARMA and its Tools -- Spatial
Yazar
Bošnački, Dragan. editor.
Format:
Electronic Resources
Alıntı:
Exploration -- A Tool Integrating Model Checking into a C Verification Toolset -- Fair Testing and Stubborn
Yazar
Echahed, Rachid. editor.
Format:
Electronic Resources
Alıntı:
Transformations -- Model Checking Reconfigurable Petri Nets with Maude -- Tools and Algorithms -- A Software
Yazar
De Nicola, Rocco. editor.
Format:
Electronic Resources
Alıntı:
Component-Based Systems -- Tightening a Contract Refinement -- BMotionWeb: A Tool for Rapid Creation of Formal
Arama Sonuçlarını Sınırlandır
Daraltılmış: