Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Automata theory
3
Behaviour models
3
Labelled transition systems
3
Modal Transition Systems
3
Artificial intelligence
2
Model checking
2
Real time systems
2
Time sharing systems
2
Timed Automata
2
Verification tools
2
Abstracting
1
Abstraction techniques
1
Adaptive control systems
1
Adaptive systems
1
Algorithms
1
Architectural approach
1
Behavioral research
1
Behaviour changes
1
Behaviour validation
1
Communication
1
Complexity class
1
Component analysis
1
Component based systems
1
Component interfaces
1
Component levels
1
Componentwise
1
Computer aided analysis
1
Computer aided software engineering
1
Computer architecture
1
Computer science
1
-
1
-
2
-
3por Braberman, V., D’Ippolito, N., Kramer, J., Sykes, D., Uchitel, S., Ghezzi C., Garlan D., Giese H., de Lemos R.SER
-
4
-
5
-
6
-
7
-
8
-
9
-
10