Arama Sonuçları - "On Spec"

Sonuçları Daraltın
  1. 101
  2. 102

    Fundamental Approaches to Software Engineering 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

    Baskı/Yayın Bilgisi 2021
    İçindekiler: “…FASE Contributions -- On Benchmarking for Concurrent Runtime Verification -- Certified Abstract Cost Analysis -- Bootstrapping Automated Testing for RESTful Web Services -- A Decision Tree Lifted Domain for Analyzing Program Families with Numerical Features -- Finding a Universal Execution Strategy for Model Transformation Networks -- CoVEGI: Cooperative Veri cation via Externally Generated Invariants -- Engineering Secure Self-Adaptive Systems with Bayesian Games -- An Abstract Contract Theory for Programs with Procedures -- Paracosm: A Test Framework for Autonomous Driving Simulations -- Compositional Analysis of Probabilistic Timed Graph Transformation Systems -- Efficient Bounded Model Checking of Heap-Manipulating Programs using Tight Field Bounds -- Effects of Program Representation on Pointer Analyses - An Empirical Study -- Keeping Pace with the History of Evolving Runtime Models -- SpecTest: Specification-Based Compiler Testing -- PASTA: An Efficient Proactive Adaptation Approach Based on Statistical Model Checking for Self-Adaptive Systems -- Understanding Local Robustness of Deep Neural Networks under Natural Variations -- Test-Comp Contributions -- Status Report on Software Testing: Test-Comp 2021 -- CoVeriTest with Adaptive Time Scheduling (Competition Contribution) -- FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs (Competition Contribution) -- Symbiotic 8: Parallel and Targeted Test Generation (Competition Contribution).…”
    Link to Metadata
    Elektronik Ekitap
  3. 103
  4. 104
  5. 105
  6. 106
  7. 107
  8. 108
  9. 109

    PERILAKU SOSIAL REMAJA TUNAGRAHITA RINGAN DI SPLB-C YPLB CIPAGANTI Yazar: Syukur, Shefatikha

    Baskı/Yayın Bilgisi 2016
    Link Metadata
    Kitap
  10. 110
  11. 111
  12. 112
  13. 113
  14. 114
  15. 115
  16. 116
  17. 117
  18. 118
  19. 119

    Implementasi Virtual Reality Pada Museum Radya Pustaka Yazar: Prasetyo, Purwoko Fajar

    Baskı/Yayın Bilgisi 2016
    Connect to this object online
    Kitap
  20. 120

    PERBANDINGAN KECEPATAN BERBAGAI MERK BOLA PADA OLAHRAGA SEPAKBOLA Yazar: Jumiawam, Gelar Akbar

    Baskı/Yayın Bilgisi 2017
    Link Metadata
    Kitap