Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Automata theory
Timed automata
16
Mathematical models
14
Real time systems
14
Timed Automata
12
Distributed computer systems
10
Model checking
10
Program processors
10
Algorithms
8
Data structures
8
Distributed timed model checking
8
Formal logic
7
Computer architecture
6
Computer programming languages
6
Data storage equipment
6
Deontic
6
Deontic Logic
6
Interface automata
6
KRONOS
6
Kronos
6
Load-balance
6
Model-checking
6
Problem solving
6
Reachability
6
Reconfiguration
6
Redistribution
6
Set theory
6
Software engineering
6
ZEUS
6
Zeus
6
-
1Publicado 2014
-
2
-
3
-
4
-
5
-
6
-
7
-
8
-
9
-
10
-
11
-
12
-
13
-
14Publicado 2014
-
15
-
16
-
17
-
18
-
19
-
20