Zoekresultaten - "vérification"

Gesuggereerde onderwerpen binnen jouw zoekopdracht.
Verfijn jouw resultaten
  1. 1
    Beeld op de omslag

    Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design - FMCAD 2022

    Gepubliceerd in 2022
    Onderwerpen: “…Formal Methods; Computer-Aided System Design; Hardware and System Verification; Formal Verification, Specification, Synthesis, and Testing; Automated and Formal Reasoning…”
    DOAB: download the publication
    DOAB: description of the publication
    Elektronisch Hoofdstuk

    Toevoegen aan favorieten
    Bewaard in:
  2. 2
    Beeld op de omslag

    Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design - FMCAD 2022

    Gepubliceerd in 2022
    Onderwerpen: “…Formal Methods; Computer-Aided System Design; Hardware and System Verification; Formal Verification, Specification, Synthesis, and Testing; Automated and Formal Reasoning…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Elektronisch Hoofdstuk

    Toevoegen aan favorieten
    Bewaard in:
  3. 3
    Beeld op de omslag

    Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design - FMCAD 2023

    Gepubliceerd in 2023
    Onderwerpen: “…Software testing & verification bicssc…”
    DOAB: download the publication
    DOAB: description of the publication
    Elektronisch Hoofdstuk

    Toevoegen aan favorieten
    Bewaard in:
  4. 4
    Beeld op de omslag

    Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design - FMCAD 2020

    Gepubliceerd in 2020
    Onderwerpen: “…Software testing & verification bicssc…”
    DOAB: download the publication
    DOAB: description of the publication
    Elektronisch Hoofdstuk

    Toevoegen aan favorieten
    Bewaard in:
  5. 5
    Beeld op de omslag

    Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design - FMCAD 2021

    Gepubliceerd in 2021
    Onderwerpen: “…Software testing & verification bicssc…”
    DOAB: download the publication
    DOAB: description of the publication
    Elektronisch Hoofdstuk

    Toevoegen aan favorieten
    Bewaard in:
  6. 6
    Beeld op de omslag

    Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design - FMCAD 2020

    Gepubliceerd in 2020
    Onderwerpen: “…Software testing & verification bicssc…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Elektronisch Hoofdstuk

    Toevoegen aan favorieten
    Bewaard in:
  7. 7
    Beeld op de omslag

    Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design - FMCAD 2021

    Gepubliceerd in 2021
    Onderwerpen: “…Software testing & verification bicssc…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Elektronisch Hoofdstuk

    Toevoegen aan favorieten
    Bewaard in:
  8. 8
    Beeld op de omslag

    Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design - FMCAD 2023

    Gepubliceerd in 2023
    Onderwerpen: “…Software testing & verification bicssc…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Elektronisch Hoofdstuk

    Toevoegen aan favorieten
    Bewaard in:
  9. 9
    Beeld op de omslag

    Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction door Weiß, Benjamin

    Gepubliceerd in 2011
    Onderwerpen: “…software verification…”
    DOAB: download the publication
    DOAB: description of the publication
    Elektronisch Hoofdstuk

    Toevoegen aan favorieten
    Bewaard in:
  10. 10
    Beeld op de omslag

    Finite Difference Computing with PDEs: A Modern Software Approach door Svein Linge

    Gepubliceerd in 2017
    Onderwerpen: “…verification…”
    DOAB: download the publication
    DOAB: description of the publication
    Elektronisch Hoofdstuk

    Toevoegen aan favorieten
    Bewaard in:
  11. 11
    Beeld op de omslag

    From Sperner's Lemma to Differential Equations in Banach Spaces : An Introduction to Fixed Point Theorems and their Applications door Schäfer, Uwe

    Gepubliceerd in 2014
    Onderwerpen: “…verification methods…”
    DOAB: download the publication
    DOAB: description of the publication
    Elektronisch Hoofdstuk

    Toevoegen aan favorieten
    Bewaard in:
  12. 12
    Beeld op de omslag

    Finite Difference Computing with PDEs: A Modern Software Approach door Langtangen, Hans Petter

    Gepubliceerd in 2017
    Onderwerpen: “…verification…”
    DOAB: download the publication
    DOAB: description of the publication
    Elektronisch Hoofdstuk

    Toevoegen aan favorieten
    Bewaard in:
  13. 13
    Beeld op de omslag

    Radar Forward Operator for Verification of Cloud Resolving Simulations within the COSMO Model door Jerger, Dorit

    Gepubliceerd in 2013
    Onderwerpen: “…Model Verification…”
    DOAB: download the publication
    DOAB: description of the publication
    Elektronisch Hoofdstuk

    Toevoegen aan favorieten
    Bewaard in:
  14. 14
    Beeld op de omslag

    Finite Difference Computing with PDEs: A Modern Software Approach door Langtangen, Hans Petter

    Gepubliceerd in 2017
    Onderwerpen: “…verification…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Elektronisch Hoofdstuk

    Toevoegen aan favorieten
    Bewaard in:
  15. 15
    Beeld op de omslag

    Datenqualität in der medizinischen Forschung Leitlinie zum adaptiven Management von Datenqualität in Kohortenstudien und Registern door Nonnemacher, Michael

    Gepubliceerd in 2014
    Onderwerpen: “…source data verification…”
    DOAB: download the publication
    DOAB: description of the publication
    Elektronisch Hoofdstuk

    Toevoegen aan favorieten
    Bewaard in:
  16. 16
    Beeld op de omslag

    Lazy Evaluation: From natural semantics to a machine-checked compiler transformation door Breitner, Joachim

    Gepubliceerd in 2016
    Onderwerpen: “…Funktionale Programmierung Formale Verifikation Semantik Isabelle HaskellFunctional Programming Semantics Formal Verification Haskell Isabelle…”
    DOAB: download the publication
    DOAB: description of the publication
    Elektronisch Hoofdstuk

    Toevoegen aan favorieten
    Bewaard in:
  17. 17
    Beeld op de omslag

    The Potential Role for Community Monitoring in MRV and in Benefit Sharing in REDD+

    Gepubliceerd in 2015
    Onderwerpen: “…reporting and verification…”
    DOAB: download the publication
    DOAB: description of the publication
    Elektronisch Hoofdstuk

    Toevoegen aan favorieten
    Bewaard in:
  18. 18
    Beeld op de omslag

    Specification and verification of object-oriented software components door Roth, Andreas

    Gepubliceerd in 2006
    Onderwerpen: “…deductive verification…”
    DOAB: download the publication
    DOAB: description of the publication
    Elektronisch Hoofdstuk

    Toevoegen aan favorieten
    Bewaard in:
  19. 19
    Beeld op de omslag

    Datenqualität in der medizinischen Forschung Leitlinie zum adaptiven Management von Datenqualität in Kohortenstudien und Registern door Nonnemacher, Michael

    Gepubliceerd in 2014
    Onderwerpen: “…source data verification…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Elektronisch Hoofdstuk

    Toevoegen aan favorieten
    Bewaard in:
  20. 20
    Beeld op de omslag

    Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I

    Gepubliceerd in 2022
    Onderwerpen: “…verification…”
    DOAB: download the publication
    DOAB: description of the publication
    Elektronisch Hoofdstuk

    Toevoegen aan favorieten
    Bewaard in:

Zoekinstrumenten: