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
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
Gupta, Gopal. editor.
Format:
Electronic Resources
Alıntı:
, optimization, composition, security, reuse, applications and tools, component-based software development
Yazar
Garrigue, Jacques. editor.
Format:
Electronic Resources
Alıntı:
; software security; concurrency and parallelism; as well as tools and environments for programming and
Yazar
Parker, David. editor. (orcid)0000-0003-4137-8862
Format:
Electronic Resources
Alıntı:
-- Probabilistic Modelling and Abstraction -- Applications and Tools.
Yazar
Gorrieri, Roberto. author.
Format:
Electronic Resources
Alıntı:
the tools to express processes, to compose them, and to prove properties they enjoy. The rest of the
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
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
Guizzardi, Giancarlo. editor.
Format:
Electronic Resources
Alıntı:
promote and disseminate research on theories of concepts underlying conceptual modeling, methods and tools
Arama Sonuçlarını Sınırlandır
Daraltılmış: