loading

Logout succeed

Logout succeed. See you again!

Top 1014 audits verification PDF Book Page 11

search buttonTry WiseWorksheets to  request a book.
book image

The E hardware verification language

authorSasan Iman; Sunita Joshi
pages372 Pages
release year2004
file size7.602 MB

book image

Embedded software verification and debugging

authorLettnin, Djones;Winterholer, Markus
pages220 Pages
release year2017
file size8.814 MB

book image

Trust in Nuclear Disarmament Verification

authorWyn Q. Bowen,Hassan Elbahtimy,Christopher Hobbs,Matthew Moran (auth.)
pages179 Pages
release year2018
file size1.532 MB

book image

Scalable techniques for formal verification

authorSandip Ray (auth.)
pages242 Pages
release year2010
file size1.863 MB

book image

Verification Methodology Manual for SystemVerilog

authorJanick Bergeron, Eduard Cerny, Alan Hunter, Andrew Nightingale (auth.)
pages513 Pages
release year2006
file size1.576 MB

book image

Embedded System Design: Modeling, Synthesis and Verification

authorDaniel D. Gajski, Samar Abdi, Andreas Gerstlauer, Gunar Schirner (auth.)
pages365 Pages
release year2009
file size3.482 MB

book image

Rigorous Software Development: An Introduction to Program Verification

authorJosé Bacelar Almeida, Maria João Frade, Jorge Sousa Pinto, Simão Melo de Sousa (auth.)
pages277 Pages
release year2011
file size2.272 MB

book image

Verification and Validation in Scientific Computing

authorWilliam L. Oberkampf, Christopher J. Roy
pages791 Pages
release year2010
file size24.87 MB

book image

Leveraging applications of formal methods, verification and validation

authorTiziana Margaria-Steffen; Bernhard Steffen
pages881 Pages
release year2008
file size12.674 MB

book image

Real-time systems. Scheduling, analysis and verification

authorAlbert M. K. Cheng
pages550 Pages
release year2002
file size3.51 MB

book image

DTIC ADA461302: Automating Modular Verification

authorDefense Technical Information Center
pages18 Pages
file size0.35 MB

book image

2016 State of Montana employee group benefits claim audits

authorClaim Technologies Incorporated
release year2016
file size2.8 MB

book image

QUANUM 3.0: An Updated Tool for Nuclear Medicine Audits

authorInternational Atomic Energy Agency
release year2021
file size13.477 MB

1
101112
43