Top 1014 audits verification PDF Book Page 10

book image

Lectures on Runtime Verification: Introductory and Advanced Topics

Ezio Bartocci,Yliès Falcone (eds.)
·240 Pages
·2018
·5.719 MB

book image

Post-Silicon and Runtime Verification for Modern Processors

Ilya Wagner, Valeria Bertacco (auth.)
·239 Pages
·2011
·6.885 MB

book image

Specification and Verification of Multi-agent Systems

N. Alechina
·416 Pages
·2010
·7.95 MB

book image

Reactive Systems: Modelling, Specification and Verification

Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen, Jiri Srba
·302 Pages
·2007
·1.92 MB

book image

Verification and validation of 3D free-surface flow models

Environmental and Water Resources Instit, Sam S. Y. Wang, Patrick J. Roache, Richard A. Schmalz, Yafei Jia, Peter E. Smith
·503 Pages
·2009
·21.331 MB

book image

Specification and Verification of Multi-agent Systems

N. Alechina, M. Dastani, F. Khan, B. Logan (auth.), Mehdi Dastani, Koen V. Hindriks, John-Jules Charles Meyer (eds.)
·416 Pages
·2010
·3.553 MB

book image

Verification, Validation and Testing in Software Engineering

Aristides Dasso, Aristides Dasso; Ana Funes
·443 Pages
·2006
·7.895 MB

book image

Forecast Verification: A Practitioner's Guide in Atmospheric Science

Ian T. Jolliffe, David B. Stephenson
·247 Pages
·2003
·2.53 MB

book image

Robot Verification Manual AFNOR Eng 5 2

['Андрей Николаевич Горев']
·77 Pages
·2019

book image

Systems and Software Verification: Model-Checking Techniques and Tools

M. Bidoit, A. Finkel, F. Laroussinie, A. Petit, L. Petrucci, P. Schnoebelen, B. Berard
·105 Pages
·2001
·4.59 MB

book image

DOT/FAA/AR-xx/xx Verification of Adaptive Systems

K. Woodham
·103 Pages
·2013
·1.11 MB

1
91011
43