Yazar
Giannakopoulou, Dimitra. editor.
Format:
Electronic Resources
Alıntı:
Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna
Yazar
Alferes, Jose Julio. editor.
Format:
Electronic Resources
Alıntı:
Rule Technologies. Research, Tools, and Applications 10th International Symposium, RuleML 2016
View Other Search Results
Yazar
Cohen, Ernie. editor.
Format:
Electronic Resources
Alıntı:
Verified Software: Theories, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo
Yazar
Gurfinkel, Arie. editor.
Format:
Electronic Resources
Alıntı:
Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San
Yazar
ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367
Format:
Electronic Resources
Alıntı:
From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi
Yazar
Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference
Yazar
Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference
Yazar
Piterman, Nir. editor.
Format:
Electronic Resources
Alıntı:
topical sections on hybrid systems; tools; verification of robotics; symbolic execution; model checking
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
Gupta, Gopal. editor.
Format:
Electronic Resources
Alıntı:
, optimization, composition, security, reuse, applications and tools, component-based software development
Yazar
Parker, David. editor. (orcid)0000-0003-4137-8862
Format:
Electronic Resources
Alıntı:
-- Probabilistic Modelling and Abstraction -- Applications and Tools.
Yazar
Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140
Format:
Electronic Resources
Alıntı:
provide an overview of research in the frontier of theories, methods, and tools for software modelling
Arama Sonuçlarını Sınırlandır
Daraltılmış: