13 sonuç bulundu
Tümünü Seç
000000000000DEFAULTTR
Yazar
Aceto, Luca. editor.
Format:
Electronic Resources
Alıntı:
Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of
Yazar
Bhatele, Abhinav. editor. (orcid)0000-0003-3069-3701
Format:
Electronic Resources
Alıntı:
Programming and Performance Visualization Tools International Workshops, ESPT 2017 and VPA 2017
View Other Search Results
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
Polikarpova, Nadia. editor. (orcid)0000-0001-5571-173X
Format:
Electronic Resources
Alıntı:
on cyber-physical systems, software verification tools, safety-critical systems, concurrency and
Yazar
Hall, Mary. editor. (orcid)0000-0002-3058-7573
Format:
Electronic Resources
Alıntı:
tools for concurrency and parallelism, parallel algorithms and concurrent data structures, parallel
Yazar
Guttman, Joshua D. editor.
Format:
Electronic Resources
Alıntı:
. Catherine A. Meadows has been a pioneer in developing symbolic formal verification methods and tools. Her
Yazar
Howar, Falk. editor.
Format:
Electronic Resources
Alıntı:
Analysis Methods and Tools -- The Quest for Optimality in Stateless Model Checking of Concurrent Programs
Yazar
Margaria, Tiziana. editor.
Format:
Electronic Resources
Alıntı:
verification: from static to runtime and back; evaluating tools for software verification; statistical model
Yazar
Margaria, Tiziana. editor.
Format:
Electronic Resources
Alıntı:
-- Runtime and Memory Evaluation of Data Race Detection Tools -- In-Place vs. Copy-on-Write CEGAR Refinement
Yazar
Margaria, Tiziana. editor.
Format:
Electronic Resources
Alıntı:
-- Towards automated testing of the Internet of Things: Results obtained with the TESTAR tool -- Quantitative
Yazar
Margaria, Tiziana. editor.
Format:
Electronic Resources
Alıntı:
verification: from static to runtime and back; evaluating tools for software verification; statistical model
Yazar
Träff, Jesper Larsson. editor.
Format:
Electronic Resources
Alıntı:
-- VMPlaceS A Generic Tool to Investigate and Compare VM Placement Algorithms -- A Connectivity Model for
13 sonuç bulundu
Arama Sonuçlarını Sınırlandır
Daraltılmış: