Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Behaviour models
4
Modal Transition Systems
4
Artificial intelligence
3
Labelled transition systems
3
Computer software
2
Formal methods
2
Mathematical models
2
Software engineering
2
Abstracting
1
Adaptive control systems
1
Adaptive systems
1
Architectural approach
1
Automata theory
1
Automata-based formalisms
1
Automated approach
1
Behavioral research
1
Behaviour changes
1
Behaviour modelling
1
Behaviour validation
1
Best practice
1
Communication
1
Complexity class
1
Component based systems
1
Component implementations
1
Component interfaces
1
Component levels
1
Componentwise
1
Composition technique
1
Computation theory
1
Computer architecture
1
-
1por Braberman, V., D’Ippolito, N., Kramer, J., Sykes, D., Uchitel, S., Ghezzi C., Garlan D., Giese H., de Lemos R.SER
-
2
-
3
-
4
-
5
-
6
-
7
-
8
-
9