Yazar
Legay, Axel. editor.
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference
Yazar
Legay, Axel. editor.
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference
View Other Search Results
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
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ı:
verification: from static to runtime and back; evaluating tools for software verification; statistical model
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ı:
-- Towards automated testing of the Internet of Things: Results obtained with the TESTAR tool -- Quantitative
Yazar
Steffen, Bernhard. editor.
Format:
Electronic Resources
Alıntı:
, tools, applications.
Yazar
Margaria, Tiziana. editor.
Format:
Electronic Resources
Alıntı:
Development -- Generation of Domain-Specific Graphical Development Tools Targeting Heterogeneous Platforms
Arama Sonuçlarını Sınırlandır
Daraltılmış: