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
View Other Search Results
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
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ış: