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