Computer Aided Verification

Computer Aided Verification

Bibliografische gegevens
Andere auteurs:	Sharygina
Formaat:	Elektronisch E-boek
Taal:	English
Gepubliceerd in:	Springer Berlin Heidelberg, 2013
Editie:	1
Onderwerpen:	Electronic books
Online toegang:	Full text available on Springer Off-campus access

Gelijkaardige items

Computer Aided Verification
Gepubliceerd in: (2019)

Computer Aided Verification
Gepubliceerd in: (2019)

Computer Aided Verification
Gepubliceerd in: (2020)

Computer Aided Verification
Gepubliceerd in: (2020)

Computer Aided Verification
Gepubliceerd in: (2021)

Computer Aided Verification
Gepubliceerd in: (2021)

Computer Aided Verification
Gepubliceerd in: (2022)

Computer Aided Verification
Gepubliceerd in: (2022)

Computer Aided Verification
Gepubliceerd in: (2018)

Computer Aided Verification
Gepubliceerd in: (2018)

Verification and Validation in Scientific Computing
door: William L. Oberkampf, Christopher J. Roy
Gepubliceerd in: (2013)

Runtime Verification
Gepubliceerd in: (2013)

Runtime Verification
Gepubliceerd in: (2013)

Design Verification with e
door: Samir Palnitkar

Hardware and Software: Verification and Testing
Gepubliceerd in: (2013)

Hardware and Software: Verification and Testing
Gepubliceerd in: (2013)

Automated Technology for Verification and Analysis
Gepubliceerd in: (2013)

Software Testing, Verification and Reliability

Computer-Aided Engineering

Computer-Aided Engineering

Computer Aided Surgery

Computer Aided Surgery

Open Source Software: Quality Verification
Gepubliceerd in: (2013)

Verification, Model Checking, and Abstract Interpretation
Gepubliceerd in: (2013)

Embedded Systems: Design, Analysis and Verification
Gepubliceerd in: (2013)

ASME 2018 Verification and Validation Symposium

ASME 2021 Verification and Validation Symposium

ASME 2019 Verification and Validation Symposium

Proceedings of the symposium on Testing, analysis, and verification

Integrated Computer-Aided Engineering

Integrated Computer-Aided Engineering

Integrated Computer-Aided Engineering

Computer-Aided Optical Design

Electronic Design, Computer Networks & Automated Verification (EDCAV), International Conference on

Optical System Alignment, Tolerancing, and Verification XII

Optical System Alignment, Tolerancing, and Verification IX

Optical System Alignment, Tolerancing, and Verification VIII

Optical System Alignment, Tolerancing, and Verification XIII

Optical System Alignment, Tolerancing, and Verification XI

Optical System Alignment, Tolerancing, and Verification X