Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
VERIFICATION
VERIFICACION
8
ANALISIS ESTATICO
5
STATIC ANALYSIS
5
VALIDATION
5
ALLOY
3
ANALISIS DE PROGRAMAS USANDO SAT
3
ARMS CONTROL
3
DYNALLOY
3
KODKOD
3
LANGUAGES
3
LENGUAJES
3
SAT-BASED CODE ANALYSIS
3
BLOCKCHAIN
2
COMPUTER SOFTWARE
2
CONTRATOS INTELIGENTES
2
MAQUINAS DE ESTADO
2
NUCLEAR ARMS CONTROL
2
SMART CONTRACTS
2
SOLIDITY
2
STATE MACHINES
2
VALIDACION
2
VERISO
2
VERISOL
2
ALARM SYSTEMS
1
ARGENTINE ARN
1
ARGENTINE CNEA
1
ARN ARGENTINA
1
ATUCHA-1 REACTOR
1
Análisis y modelado mediante RELAP5 del sistema de refrigeración de emergencia del Núcleo de la CNE
1
-
1
-
2
-
3
-
4
-
5Verification and validation of software related to nuclear power plant instrumentation and control /Publicado 1999Aportado por: Bibliotecas (UNCuyo)Libro
-
6
-
7
-
8
-
9
-
10
-
11
-
12
-
13por Yoeli, Michael, 1917-
Publicado 2008Aportado por: Biblioteca Universitaria H. Wast (UFASTA)Electrónico Libro electrónico -
14
-
15
-
16
-
17