14 sonuç bulundu
Tümünü Seç
000000000000DEFAULTTR
Yazar
Paskevich, Andrei. editor.
Format:
Electronic Resources
Alıntı:
Verified Software. Theories, Tools, and Experiments 9th International Conference, VSTTE 2017
Yazar
Piskac, Ruzica. editor.
Format:
Electronic Resources
Alıntı:
Verified Software. Theories, Tools, and Experiments 10th International Conference, VSTTE 2018
View Other Search Results
Yazar
Bartocci, Ezio. editor. (orcid)0000-0002-8004-6601
Format:
Electronic Resources
Alıntı:
Systems: A Survey on Theory, Tools and Applications -- Runtime Verification for Decentralized and
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
Botterweck, Goetz. editor. (orcid)0000-0002-5556-1660
Format:
Electronic Resources
Alıntı:
product lines; variability management and model variants; verification and refactoring for reuse; tools
Yazar
Sajja, Priti Srinivas. author.
Format:
Electronic Resources
Alıntı:
-- Chapter 5. Computer Assisted Tools for Software Development -- Chapter 6. Systems Design -- Chapter 7
Yazar
Majumdar, Rupak. editor.
Format:
Electronic Resources
Alıntı:
, with an emphasis on practical verification tools and the algorithms and techniques that are needed for
Yazar
Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140
Format:
Electronic Resources
Alıntı:
industrial engineers who are interested in the theory and practice of methods and tools for the design and
Yazar
Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140
Format:
Electronic Resources
Alıntı:
, academics, and industrial engineers, who are interested in the theory and practice of methods and tools for
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ı:
-- 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
14 sonuç bulundu
Arama Sonuçlarını Sınırlandır
Daraltılmış: