Search alternatives:
verification framework » qualifications framework
verification tool » verification 1, verification 5, verification 4.1
verification 4 » verification 1, verification 5, verification 4.1
verification framework » qualifications framework
verification tool » verification 1, verification 5, verification 4.1
verification 4 » verification 1, verification 5, verification 4.1
1
Published 2020
Format:
Table of Contents: “...: COMPETENCY FRAMEWORK -- SECTION 2: VERIFICATION OF COMPETENCIES -- Introduction -- Performance indicators...”
Click to View
2
by Enea, Constantin.
Published 2023
Format:
Published 2023
Table of Contents: “... Verification Tool -- 1 Introduction -- 2 Related Work -- 3 Overview and Features -- 3.1 NNV 2.0 vs NNV -- 4...”
Click to View
3
by Silva, Alexandra.
Published 2021
Format:
Published 2021
Table of Contents: “... Verification of Microprocessors -- 1 Introduction -- 2 Our FV Tools -- 3 Challenges of Verifying a Single x86...”
Click to View
4
5
by International Finance Corporation, Multilateral Investment Guarantee Agency, World Bank
Published 2017
Subjects:
“...POLICY FRAMEWORK...”Published 2017
Get full text
Get full text
6
7
8
by International Finance Corporation, World Bank, Multilateral Investment Guarantee Agency
Published 2014
Subjects:
“...REGULATORY FRAMEWORK...”Published 2014
Get full text
Get full text
9
10
11
12
Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference...
by Sankaranarayanan, Sriram.
Published 2023
Format:
Published 2023
Table of Contents: “... -- Tool Demos -- EVA: a Tool for the Compositional Verification of AUTOSAR Models -- 1 Introduction -- 2 A...”
Click to View
13
Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference...
by Sankaranarayanan, Sriram.
Published 2023
Format:
Published 2023
Table of Contents: “... Checking by Language Inclusion -- 4 Related Work and HyperLTL Verification Approaches -- 5 AutoHyper: Tool...”
Click to View
14
by World Bank, International Finance Corporation, Multilateral Investment Guarantee Agency
Published 2017
Subjects:
“...POLICY FRAMEWORK...”Published 2017
Get full text
Get full text
15
Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference...
by Groote, Jan Friso.
Published 2021
Format:
Published 2021
Table of Contents: “... Strategies -- 3.4 Retrieving Cheapest Distinguishing Formulas -- 4 A Webtool for Equivalence Spectroscopy...”
Click to View
16
by IMC Worldwide
Published 2014
Subjects:
“...FRAMEWORK CONVENTION ON CLIMATE CHANGE...”Published 2014
Get full text
Get full text
17
by Greenberg, Theodore S., Gray, Larissa, Schantz, Delphine, Gardner, Carolin, Latham, Michael
Published 2012
Subjects:
“...REGULATORY FRAMEWORK...”Published 2012
Get full text
Get full text
18
by World Bank
Published 2012
Subjects:
“...CORPORATE GOVERNANCE FRAMEWORK...”Published 2012
Get full text
Get full text
19
20