Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Automata theory
18
Software engineering
16
Mathematical models
15
Semantics
12
Real time systems
11
Algorithms
10
Model checking
10
Specifications
10
Timed automata
10
Computer software
9
Behaviour models
8
Timed Automata
8
Abstracting
7
Controller synthesis
7
Distributed computer systems
7
Program processors
7
Specification languages
7
Adaptive control systems
6
Adaptive systems
6
Computer architecture
6
Controllers
6
Set theory
6
Distributed timed model checking
5
Modal Transition Systems
5
Reachability
5
ZEUS
5
Computer programming languages
4
Data storage equipment
4
Data structures
4
Formal logic
4
-
1Artículo publishedVersion
-
2Artículo publishedVersion
-
3Artículo publishedVersion
-
4Artículo publishedVersion
-
5Artículo publishedVersion
-
6Artículo publishedVersion
-
7Artículo publishedVersion
-
8Artículo publishedVersion
-
9
-
10
-
11
-
12
-
13
-
14
-
15
-
16
-
17
-
18
-
19
-
20por Braberman, V., D’Ippolito, N., Kramer, J., Sykes, D., Uchitel, S., Ghezzi C., Garlan D., Giese H., de Lemos R.SER