Yazar
Beyer, Dirk. editor. (orcid)0000-0003-4832-7662
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics
Yazar
Artho, Cyrille. editor.
Format:
Electronic Resources
Alıntı:
full papers presented together with one invited talk and two tool papers were carefully reviewed and
View Other Search Results
Yazar
Agha, Gul. editor.
Format:
Electronic Resources
Alıntı:
topical sections entitled: Markov processes; tools; sampling, inference, and optimization methods; Markov
Yazar
Campos, Javier. editor.
Format:
Electronic Resources
Alıntı:
and applications; tools; petri nets, process algebra and fault trees; applications; and queuing
Yazar
Brugali, Davide. editor.
Format:
Electronic Resources
Alıntı:
Simulation -- Modeling -- Programming -- Architectures -- Methods and Tools -- Systems and
Yazar
Li, Kenli. editor.
Format:
Electronic Resources
Alıntı:
such as parallel algorithms, developments in software tools and environments, unstructured adaptive
Yazar
Ahrendt, Wolfgang. editor. (orcid)0000-0002-5671-2555
Format:
Electronic Resources
Alıntı:
: from language design to verification and analysis techniques, to supporting tools and their integration
Yazar
Lamprecht, Anna-Lena. editor.
Format:
Electronic Resources
Alıntı:
interesting material for readers already familiar with this kind of tools, because it introduces
Yazar
Chamberlain, Roger. editor. (orcid)0000-0002-7207-6106
Format:
Electronic Resources
Alıntı:
Design -- Simulation and Tools -- Formal Methods -- Workshop on Embedded and Cyber-Physical Systems
Yazar
Roubtsova, Ella. editor.
Format:
Electronic Resources
Alıntı:
-- Standards in Behaviour Modelling -- Modeling Behavior with Interaction Diagrams in a UML and OCL Tool -- A
Yazar
Topçu, Okan. author.
Format:
Electronic Resources
Alıntı:
applicability of the methodology, many of which are developed from tools available to download from the public
Yazar
Larsen, Kim Guldstrand. editor.
Format:
Electronic Resources
Alıntı:
promote research and development for the improvement of formal methods and tools for industrial
Arama Sonuçlarını Sınırlandır
Daraltılmış: