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.
Computer architecture
Graph theory
8
Mathematical models
8
Real time systems
8
Automata theory
6
Distributed computer systems
6
Timed automata
6
Algorithms
4
Computation theory
4
Computer aided software engineering
4
Computer simulation
4
Computer software
4
Distributed timed model-checker
4
Matrix algebra
4
Model-checking
4
Parallel implementations
4
Problem solving
4
Program processors
4
Semantics
4
Set theory
4
Software engineering
4
Time-consuming tasks
4
Adaptive control systems
2
Adaptive systems
2
Architectural approach
2
Artificial intelligence
2
Automated code generation
2
Behavioral research
2
Behaviour changes
2
C++ (programming language)
2
-
1por Challiol, Cecilia, Fortier, Andrés, Gordillo, Silvia Ethel, Rossi, Gustavo Héctor
Publicado 2007Aportado por: SEDICI (UNLP)Objeto de conferencia -
2
-
3
-
4
-
5
-
6
-
7
-
8
-
9
-
10
-
11Artículo publishedVersion
-
12por Braberman, V., D’Ippolito, N., Kramer, J., Sykes, D., Uchitel, S., Ghezzi C., Garlan D., Giese H., de Lemos R.SER
-
13
-
14
-
15
-
16
-
17
-
18
-
19
-
20