Результаты поиска - "Verification"

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

Предметы: “...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

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

Предметы: “...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

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

Предметы: “...Software testing & verification bicssc...”
DOAB: download the publication
DOAB: description of the publication

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

Предметы: “...Software testing & verification bicssc...”
DOAB: download the publication
DOAB: description of the publication

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

Предметы: “...Software testing & verification bicssc...”
DOAB: download the publication
DOAB: description of the publication

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

Предметы: “...Software testing & verification bicssc...”
OAPEN Library: download the publication
OAPEN Library: description of the publication

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

Предметы: “...Software testing & verification bicssc...”
OAPEN Library: download the publication
OAPEN Library: description of the publication

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

Предметы: “...Software testing & verification bicssc...”
OAPEN Library: download the publication
OAPEN Library: description of the publication

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

Предметы: “...software verification...”
DOAB: download the publication
DOAB: description of the publication

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

Предметы: “...verification...”
DOAB: download the publication
DOAB: description of the publication

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

Предметы: “...verification methods...”
DOAB: download the publication
DOAB: description of the publication

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

Предметы: “...verification...”
DOAB: download the publication
DOAB: description of the publication

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

Предметы: “...Model Verification...”
DOAB: download the publication
DOAB: description of the publication

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

Предметы: “...verification...”
OAPEN Library: download the publication
OAPEN Library: description of the publication

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

Предметы: “...source data verification...”
DOAB: download the publication
DOAB: description of the publication

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

Предметы: “...Funktionale Programmierung Formale Verifikation Semantik Isabelle HaskellFunctional Programming Semantics Formal Verification Haskell Isabelle...”
DOAB: download the publication
DOAB: description of the publication

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

Предметы: “...reporting and verification...”
DOAB: download the publication
DOAB: description of the publication

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

Предметы: “...deductive verification...”
DOAB: download the publication
DOAB: description of the publication

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

Предметы: “...source data verification...”
OAPEN Library: download the publication
OAPEN Library: description of the publication

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

Предметы: “...verification...”
DOAB: download the publication
DOAB: description of the publication