Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Timed automata
Automata theory
8
Real time systems
8
Computer aided software engineering
6
Computer architecture
6
Data structures
6
Distributed computer systems
6
Computation theory
4
Computer software
4
Distributed timed model-checker
4
Graph theory
4
Mathematical models
4
Matrix algebra
4
Model checking
4
Model-checking
4
Problem solving
4
Program processors
4
Set theory
4
Time-consuming tasks
4
Verification
4
ZEUS
4
Computer simulation
2
Data storage equipment
2
Difference Bound Matrices
2
Difference bound matrices
2
Distributed time model checking
2
Distributed timed model checking
2
Eclipse plug-in
2
Hypervolume approximation
2
KRONOS
2
-
1Materias: “...Computer aided software engineering...”
-
2Materias: “...Computer aided software engineering...”
SER -
3por Cavatorta, Lucía Irene, de Caso, Guido, Braberman, Víctor Adrián, Garbervetsky, Diego, Kicillof, Nicolás, Schapachnik, Fernando PabloMaterias: “...Computer aided software engineering...”
Publicado 2006
-
4por Cavatorta, L., De Caso, G., Ferrari, A., Braberman, V., Garbervetsky, D., Kicillof, N., Schapachnik, F., Olivero, A.Materias: “...Computer aided software engineering...”
CONF -
5Materias: “...Computer software...”
-
6Materias: “...Computer software...”
Artículo publishedVersion -
7Materias: “...Computer software...”
Artículo publishedVersion -
8Materias: “...Computer software...”
JOUR -
9Materias: “...Computer aided software engineering...”
-
10Materias: “...Computer aided software engineering...”
JOUR