Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Automata theory
18
Mathematical models
13
Algorithms
9
Timed automata
9
Real time systems
8
Timed Automata
8
Distributed computer systems
7
Program processors
7
Set theory
6
Software engineering
6
Computer architecture
5
Distributed timed model checking
5
Semantics
5
Computer programming languages
4
Computer software
4
Data storage equipment
4
Formal logic
4
Graph theory
4
KRONOS
4
Kronos
4
Load-balance
4
Model-checking
4
Reachability
4
Reconfiguration
4
Redistribution
4
ZEUS
4
Zeus
4
Backwards verification
3
Chaos theory
3
Chaotic iteration
3
-
1Materias: “...Automata theory...”
Artículo publishedVersion -
2Materias: “...Automata theory...”
Artículo publishedVersion -
3Materias: “...Automata theory...”
JOUR -
4Materias: “...Chaos theory...”
Artículo publishedVersion -
5Materias: “...Chaos theory...”
Artículo publishedVersion -
6Materias: “...Chaos theory...”
JOUR -
7Materias: “...Automata theory...”
CONF -
8Materias: “...Automata theory...”
Artículo publishedVersion -
9Materias: “...Automata theory...”
Artículo publishedVersion -
10
-
11Materias: “...Automata theory...”
SER -
12Materias: “...Automata theory...”
SER -
13Materias: “...Automata theory...”
CONF -
14Materias: “...Graph theory...”
CONF -
15Materias: “...Automata theory...”
JOUR -
16Materias: “...Automata theory...”
SER -
17Materias: “...Automata theory...”
JOUR -
18por D'Ippolito, N., Braberman, V., Sykes, D., Uchitel, S., ACM Special Interest Group on Software Engineering (SIGSOFT)Materias: “...Control theory...”
CONF -
19por Braberman, V., D'Ippolito, N., Kramer, J., Sykes, D., Uchitel, S., ACM Special Interest Group on Software Engineering (SIGSOFT)Materias: “...Control theory...”
CONF -
20Materias: “...Automata theory...”
Artículo publishedVersion