Yazar
Giannakopoulou, Dimitra. editor.
Format:
Electronic Resources
Alıntı:
Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna
Yazar
Cohen, Ernie. editor.
Format:
Electronic Resources
Alıntı:
Verified Software: Theories, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo
View Other Search Results
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
Baier, Christel. editor.
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference
Yazar
Ábrahám, Erika. editor.
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference
Yazar
Chechik, Marsha. editor.
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 22nd 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
Hinze, Ralf. editor.
Format:
Electronic Resources
Alıntı:
submissions. The papers are about mathematical methods and tools put to use in program construction. They
Yazar
Garrigue, Jacques. editor.
Format:
Electronic Resources
Alıntı:
; software security; concurrency and parallelism; as well as tools and environments for programming 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
Liu, Shaoying. editor.
Format:
Electronic Resources
Alıntı:
Engineering Approach to Service-based Software Modeling -- A Supporting Tool for Syntactic Analysis of SOFL
Arama Sonuçlarını Sınırlandır
Daraltılmış: