Suggested Topics within your search.
Showing 1 - 20 results of 65 for search '"verification"', query time: 0.02s Refine Results
  1. 1
    Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design - FMCAD 2021
    Published 2021
    Subjects: “…Software testing & verification bicssc…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  2. 2
    Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design - FMCAD 2020
    Published 2020
    Subjects: “…Software testing & verification bicssc…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  3. 3
    Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
    by Weiß, Benjamin
    Published 2011
    Subjects: “…software verification…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  4. 4
    Finite Difference Computing with PDEs: A Modern Software Approach
    by Svein Linge
    Published 2017
    Subjects: “…verification…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  5. 5
    Radar Forward Operator for Verification of Cloud Resolving Simulations within the COSMO Model
    by Jerger, Dorit
    Published 2013
    Subjects: “…Model Verification…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  6. 6
    From Sperner's Lemma to Differential Equations in Banach Spaces : An Introduction to Fixed Point Theorems and their Applications
    by Schäfer, Uwe
    Published 2014
    Subjects: “…verification methods…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  7. 7
    Finite Difference Computing with PDEs: A Modern Software Approach
    by Langtangen, Hans Petter
    Published 2017
    Subjects: “…verification…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  8. 8
    Datenqualität in der medizinischen Forschung : Leitlinie zum adaptiven Management von Datenqualität in Kohortenstudien und Registern
    by Nonnemacher, Michael
    Published 2014
    Subjects: “…source data verification…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  9. 9
    The Potential Role for Community Monitoring in MRV and in Benefit Sharing in REDD+
    Published 2015
    Subjects: “…reporting and verification…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  10. 10
    Lazy Evaluation: From natural semantics to a machine-checked compiler transformation
    by Breitner, Joachim
    Published 2016
    Subjects: “… Semantics Formal Verification Haskell Isabelle…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  11. 11
    Specification and verification of object-oriented software components
    by Roth, Andreas
    Published 2006
    Subjects: “…deductive verification…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  12. 12
    Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
    by Amal Ahmed
    Published 2018
    Subjects: “…program verification…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  13. 13
    Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
    by Ahmed, Amal
    Published 2018
    Subjects: “…program verification…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  14. 14
    Probabilistic Maneuver Recognition in Traffic Scenarios
    by Firl, Jonas
    Published 2014
    Subjects: “…Message Verification…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  15. 15
    Guaranteed Verification of Dynamic Systems
    by Schwab, Stefan
    Published 2022
    Subjects: “…Verification…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  16. 16
    Network Bioscience
    Published 2020
    Subjects: “…hypothesis generation and verification…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  17. 17
    Network Bioscience, 2nd Edition
    Published 2020
    Subjects: “…hypothesis generation and verification…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  18. 18
    Fundamental Approaches to Software Engineering: 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
    by Alessandra Russo
    Published 2018
    Subjects: “…verification…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  19. 19
    Agents and Robots for Reliable Engineered Autonomy
    Published 2021
    Subjects: “…verification and validation…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  20. 20
    Fundamental Approaches to Software Engineering : 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
    Published 2018
    Subjects: “…verification…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
Search Tools: RSS Feed – Email Search – Save Search