loading

Logout succeed

Logout succeed. See you again!

Top 1014 audits verification PDF Book Page 10

search buttonTry WiseWorksheets to  request a book.
book image

Lectures on Runtime Verification: Introductory and Advanced Topics

authorEzio Bartocci,Yliès Falcone (eds.)
pages240 Pages
release year2018
file size5.719 MB

book image

Specification and Verification of Multi-agent Systems

authorN. Alechina, M. Dastani, F. Khan, B. Logan (auth.), Mehdi Dastani, Koen V. Hindriks, John-Jules Charles Meyer (eds.)
pages416 Pages
release year2010
file size3.553 MB

book image

Reactive Systems: Modelling, Specification and Verification

authorLuca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen, Jiri Srba
pages302 Pages
release year2007
file size1.92 MB

book image

Post-Silicon and Runtime Verification for Modern Processors

authorIlya Wagner, Valeria Bertacco (auth.)
pages239 Pages
release year2011
file size6.885 MB

book image

Verification and validation of 3D free-surface flow models

authorEnvironmental and Water Resources Instit, Sam S. Y. Wang, Patrick J. Roache, Richard A. Schmalz, Yafei Jia, Peter E. Smith
pages503 Pages
release year2009
file size21.331 MB

book image

Verification, Validation and Testing in Software Engineering

authorAristides Dasso, Aristides Dasso; Ana Funes
pages443 Pages
release year2006
file size7.895 MB

book image

Robot Verification Manual AFNOR Eng 5 2

author['Андрей Николаевич Горев']
pages77 Pages
release year2019

book image

Forecast Verification: A Practitioner's Guide in Atmospheric Science

authorIan T. Jolliffe, David B. Stephenson
pages247 Pages
release year2003
file size2.53 MB

book image

Systems and Software Verification: Model-Checking Techniques and Tools

authorM. Bidoit, A. Finkel, F. Laroussinie, A. Petit, L. Petrucci, P. Schnoebelen, B. Berard
pages105 Pages
release year2001
file size4.59 MB

book image

The Verification Challenge: Problems and Promise of Strategic Nuclear Arms Control Verification

authorRichard A. Scribner, Theodore J. Ralston, William D. Metz (auth.)
pages255 Pages
release year1985
file size6.873 MB

1
91011
43