Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
MODEL CHECKING
3
Automata theory
2
Computation theory
2
Distributed computer systems
2
Mathematical models
2
Program processors
2
Timed automata
2
ZEUS
2
ANALISIS AUTOMATICO
1
ANALISIS AUTOMATICO DE PROGRAMAS
1
AUTOMATAS TEMPORIZADOS
1
AUTOMATED VERIFICATION
1
AUTOMATIC ANALYSIS
1
Algorithms
1
Artificial intelligence
1
Automated approach
1
BUSINESS PROCESS
1
COBERTURA
1
COMPUTACION DISTRIBUIDA
1
COMPUTACION PARALELA
1
COVERAGE
1
Computer architecture
1
Computer software
1
Computer workstations
1
DISTRIBUTED COMPUTING
1
Data storage equipment
1
Distributed Timed Model Checking
1
Distributed timed model checking
1
Distributed timed model-checker
1
FLUENTES
1
-
1por Castaño, RodrigoMaterias: “...MODEL CHECKING...”
Publicado 2018
Tesis doctoral publishedVersion -
2por Regis, Germán EnriqueMaterias: “...MODEL CHECKING...”
Publicado 2014
Tesis doctoral publishedVersion -
3Materias: “...Model checking...”
Artículo publishedVersion -
4Materias: “...Distributed Timed Model Checking...”
Artículo publishedVersion -
5por Schapachnik, FernandoMaterias: “...MODEL CHECKING...”
Publicado 2007
Tesis doctoral publishedVersion -
6Materias: “...Model-checking...”
Artículo publishedVersion