Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
electrification policy » electrification project, electrification program, telecommunication policy
verification form » verification tool, verification 33rd, verification flow
verification 5 » verification _, verification 1
electrification policy » electrification project, electrification program, telecommunication policy
verification form » verification tool, verification 33rd, verification flow
verification 5 » verification _, verification 1
1
2
3
4
Published 2020
Format:
Table of Contents: “... -- The Competency Verification Form -- The Examiner's Resource -- Multiple-choice questions for knowledge...”
Click to View
5
by Silva, Alexandra.
Published 2021
Format:
Published 2021
Table of Contents: “... by SMT Solving -- 4.1 From Programs to Symbolic Store Trees -- 4.2 Marginalisation -- 5 Case Studies -- 5...”
Click to View
6
by Shoham, Sharon.
Published 2022
Format:
Published 2022
Table of Contents: “....4 Verification with Stratified Inlining -- 2.5 Overapproximation Refinement Guided Stratified Inlining -- 3...”
Click to View
7
by Enea, Constantin.
Published 2023
Format:
Published 2023
Table of Contents: “...-FSCs -- 5.2 Using Reference Policies to Accelerate Inductive Synthesis -- 5.3 Inductive Synthesis...”
Click to View
8
by Silva, Alexandra.
Published 2021
Format:
Published 2021
Table of Contents: “....2 An Illustrative Example -- 4 Robustness -- 5 Robust Bound -- 6 Robustness Verification Algorithms -- 7 Evaluation...”
Click to View
9
by Enea, Constantin.
Published 2023
Format:
Published 2023
Table of Contents: “....3 Phase 3: Verification of Outcome Results -- 3 Evaluation -- 4 Related Work -- 5 Discussion -- References...”
Click to View
10
by Enea, Constantin.
Published 2023
Format:
Published 2023
Table of Contents: “... -- 3.2 Bit-Vectors -- 3.3 Floating-Point Arithmetic -- 3.4 Uninterpreted Functions -- 3.5 Quantifiers...”
Click to View
11
12
by World Bank
Published 2014
Subjects:
“...RURAL ELECTRIFICATION POLICY...”Published 2014
Get full text
Get full text
13
by Ganjei, Zeinab.
Published 2021
Format:
Published 2021
Table of Contents: “... of Phaser Programs -- 5 Safety Verification of Parameterized Phaser Programs -- 6 Counting Dynamically...”
Click to View
14
15
16
by Vollertsen, Frank.
Published 2019
Format:
Published 2019
Table of Contents: “... and Discussion -- 2.5 Influence of Tool Geometry on Process Stability in Micro Metal Forming....”
Click to View
17
by World Bank
Published 2014
Subjects:
“...DECENTRALIZED RURAL ELECTRIFICATION...”Published 2014
Get full text
Get full text
18
19
by de Gouvello, Christophe
Published 2013
Subjects:
“...ENERGY POLICY...”Published 2013
Get full text
Get full text
20
by Korkovelos, Alexandros, Mentis, Dimitrios, Bazilian, Morgan, Howells, Mark, Saraj, Anwar, Hotaki, Sulaiman Fayez, Missfeldt-Ringius, Fanny
Published 2020
Subjects:
“...ELECTRIFICATION...”Published 2020
Get full text
Get full text