Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Real time systems
11
Automata theory
10
Mathematical models
8
Software engineering
8
Timed automata
8
Distributed computer systems
7
Adaptive control systems
6
Adaptive systems
6
Computer architecture
6
Program processors
6
Algorithms
5
Behaviour models
5
Computer software
5
Controller synthesis
5
Controllers
5
Modal Transition Systems
5
Specifications
5
ZEUS
5
Data storage equipment
4
Distributed timed model checking
4
Graph theory
4
KRONOS
4
Model checking
4
Model-checking
4
Reachability
4
Semantics
4
Timed Automata
4
Computation theory
3
Computer workstations
3
Distributed Timed Model Checking
3
-
1Materias: “...Modal Transition Systems...”
SER -
2Materias: “...Embedded systems...”
CONF -
3Materias: “...Adaptive Systems...”
INPR -
4por 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: “...Adaptive systems...”
CONF -
5Materias: “...Timed systems...”
SER -
6Materias: “...Labelled transition systems...”
SER -
7Materias: “...Timed systems...”
JOUR -
8por D'Ippolito, N., Braberman, V., Sykes, D., Uchitel, S., ACM Special Interest Group on Software Engineering (SIGSOFT)Materias: “...Self-adaptive systems...”
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: “...Adaptive systems...”
CONF -
10Materias: “...Labelled transition systems...”
SER -
11por Braberman, V., D'Ippolito, N., Kramer, J., Sykes, D., Uchitel, S., ACM Special Interest Group on Software Engineering (SIGSOFT)Materias: “...Self-adaptive systems...”
CONF -
12Materias: “...Real time systems...”
CONF -
13Materias: “...Real-time system designs...”
CONF -
14por Braberman, V., D’Ippolito, N., Kramer, J., Sykes, D., Uchitel, S., Ghezzi C., Garlan D., Giese H., de Lemos R.Materias: “...Adaptive systems...”
SER -
15Materias: “...Distributed real time system...”
SER -
16Materias: “...Real-time embedded systems...”
CONF -
17por Cavatorta, L., De Caso, G., Ferrari, A., Braberman, V., Garbervetsky, D., Kicillof, N., Schapachnik, F., Olivero, A.Materias: “...Large scale systems...”
CONF -
18Materias: “...Labeled transition systems...”
JOUR -
19Materias: “...Real time systems...”
Artículo publishedVersion -
20Materias: “...Real time systems...”
Artículo publishedVersion