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