Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Automata theory
14
Mathematical models
12
Computer software
9
Real time systems
9
Timed automata
9
Distributed computer systems
7
Timed Automata
7
Computer architecture
6
Program processors
6
Semantics
6
Software engineering
6
Algorithms
5
ZEUS
5
Computer programming languages
4
Data storage equipment
4
Distributed timed model checking
4
Graph theory
4
KRONOS
4
Model-checking
4
Specifications
4
Verification
4
Abstracting
3
Behaviour models
3
Compositional modeling
3
Computation theory
3
Computer aided software engineering
3
Computer workstations
3
Data structures
3
Design
3
Distributed Timed Model Checking
3
-
1Materias: “...Computer aided analysis...”
CONF -
2Materias: “...Computer aided software engineering...”
JOUR -
3Materias: “...Computation theory...”
Artículo publishedVersion -
4Materias: “...Computation theory...”
Artículo publishedVersion -
5Materias: “...Computation theory...”
JOUR -
6Materias: “...Computer architecture...”
CONF -
7Materias: “...Computer programming languages...”
Artículo publishedVersion -
8Materias: “...Computer programming languages...”
Artículo publishedVersion -
9
-
10Materias: “...Computer aided analysis...”
SER -
11Materias: “...Computer aided software engineering...”
SER -
12Materias: “...Computer science...”
SER -
13Materias: “...Computer workstations...”
Artículo publishedVersion -
14Materias: “...Computer workstations...”
Artículo publishedVersion -
15Materias: “...Computer workstations...”
JOUR -
16Materias: “...Computational methods...”
CONF -
17Materias: “...Computer software...”
JOUR -
18Materias: “...Computer software...”
SER -
19Materias: “...Computer software...”
CONF -
20por Braberman, V., D’Ippolito, N., Kramer, J., Sykes, D., Uchitel, S., Ghezzi C., Garlan D., Giese H., de Lemos R.Materias: “...Computer architecture...”
SER