Search Results - (((("verification flow") OR ("verification how"))) OR ("verification 33rd"))

Search alternatives:
"verification flow" » "verification tool", "verification form", "verification plug"
"verification 33rd" » "verification 35th", "verification 3.1", "verification 3.2"
"verification how" » "certification how", "diversification how", "verification tool"

Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I.

by Silva, Alexandra.
Published 2021

Format:
Click to View

Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II.

by Silva, Alexandra.
Published 2021

Format:
Click to View

Verification of Performance in Result-Based Financing : The Case of Burundi

by Renaud, Adrien
Published 2014

“... are presented and it discusses obstacles to verification, how they have been addressed...”
Get full text
Get full text

Platform Embedded Security Technology Revealed : Safeguarding the Future of Computing with Intel Embedded Security and Management Engine.

by Ruan, Xiaoyu.
Published 2014

Format:
Table of Contents: “... Integrity -- OEM Configuration -- Measured Boot -- Verified Boot -- Manifests -- Verification Flow...”
Click to View

Automated Deduction - CADE 29 : 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings.

by Pientka, Brigitte.
Published 2023

Format:
Table of Contents: “... -- Nominal Techniques for Software Specification and Verification -- How Can We Trust AI? -- Contents...”
Click to View

Narrow Search