Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Adaptive control systems
5
Adaptive systems
5
Semantics
5
Software engineering
4
Algorithms
3
Backwards verification
3
Chaos theory
3
Chaotic iteration
3
Controller synthesis
3
Controllers
3
Finite automata
3
Fixpoint
3
Formal logic
3
Iterative methods
3
Mathematical models
3
Mathematical operators
3
Set theory
3
Specifications
3
Timed automata (TA)
3
Architectural approach
2
Behavioral research
2
Continuous operation
2
Correctness criterion
2
Dynamic update
2
Operational parameters
2
Reference architecture
2
Self adaptation
2
Self-adaptive system
2
System configurations
2
System requirements
2
-
1Materias: “...Mathematical operators...”
Artículo publishedVersion -
2Materias: “...Mathematical operators...”
Artículo publishedVersion -
3Materias: “...Mathematical operators...”
JOUR -
4por Braberman, V., D’Ippolito, N., Kramer, J., Sykes, D., Uchitel, S., Ghezzi C., Garlan D., Giese H., de Lemos R.Materias: “...Operational parameters...”
SER -
5Materias: “...Operational behavior...”
JOUR -
6Materias: “...Operational commitments...”
JOUR -
7Materias: “...Windows operating system...”
CONF -
8por Nahabedian, L., Braberman, V., D'Ippolito, N., Honiden, S., Kramer, J., Tei, K., Uchitel, S., Association for Computing Machinery, Special Interest Group on Software Engineering (ACM SIGSOFT); IEEE Computer Society; IEEE Technical Council on Software Engineering (TCSE)Materias: “...Continuous operation...”
CONF -
9por D'Ippolito, N., Braberman, V., Kramer, J., Magee, J., Sykes, D., Uchitel, S., ACM Special Interest Group on Software Engineering (SIGSOFT); IEEE Computer Society's Tech. Council on Software Engin. (TCSE)Materias: “...Operational strategies...”
CONF -
10por Braberman, V., D'Ippolito, N., Kramer, J., Sykes, D., Uchitel, S., ACM Special Interest Group on Software Engineering (SIGSOFT)Materias: “...Operational parameters...”
CONF -
11Materias: “...Continuous operation...”
INPR