Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
electrification concessions » electrification lessons, electricity concessions, electrification options
verification 3.1 » verification 4.1, verification 6.1, verification 3.2
electrification concessions » electrification lessons, electricity concessions, electrification options
verification 3.1 » verification 4.1, verification 6.1, verification 3.2
1
2
by Hosier, Richard, Bazilian, Morgan, Lemondzhava, Tatia, Malik, Kabir, Motohashi, Mitsunori, Vilar de Ferrenbach, David
Published 2017
Subjects:
“...RURAL ELECTRIFICATION...”Published 2017
Get full text
Get full text
3
4
by Jadresic, Alejandro
Published 2012
Subjects:
“...RURAL ELECTRIFICATION...”Published 2012
Get full text
Get full text
5
6
7
8
9
10
11
12
13
14
by Enea, Constantin.
Published 2023
Format:
Published 2023
Table of Contents: “... Timed Automata -- 3 Framework for Learning-Based Compositional Verification of Timed Automata -- 3.1...”
Click to View
15
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
16
by Silva, Alexandra.
Published 2021
Format:
Published 2021
Table of Contents: “... instruction -- 3.1 Front-End and Microcode Verification -- 3.2 Verification of Execution Units -- 3...”
Click to View
17
by Shoham, Sharon.
Published 2022
Format:
Published 2022
Table of Contents: “... Probabilistic Programming Language -- 3.1 Program States and Variables -- 3.2 Syntax of ReDiP -- 3...”
Click to View
18
by Enea, Constantin.
Published 2023
Format:
Published 2023
Table of Contents: “... Verification for Algebraic Abstraction -- 1 Introduction -- 2 Preliminaries -- 3 ToyLang -- 3.1 Syntax...”
Click to View
19
by Silva, Alexandra.
Published 2021
Format:
Published 2021
Table of Contents: “....1 Transition Systems -- 3 Linear Abstractions of Transition Formulas -- 3.1 Affine Abstractions of Transition...”
Click to View
20