Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Automata theory
Computer aided software engineering
2
Data structures
2
Model checking
2
Real time systems
2
Software engineering
2
Timed automata
2
Analytical theory
1
Automatic approaches
1
Computer aided analysis
1
Computer aided verification techniques
1
Computer architecture
1
Computer programming languages
1
Computer simulation
1
Constraint theory
1
Data storage equipment
1
Design
1
Difference Bound Matrices
1
Difference bound matrices
1
Distributed computer systems
1
Distributed systems
1
Distributed time model checking
1
Distributed timed model checking
1
Embedded systems
1
Fixed-priority scheduling
1
Formal verifications
1
Hypervolume approximation
1
KRONOS
1
Model checking tools
1
Safety critical systems
1
-
1Materias: “...Computer aided software engineering...”
-
2
-
3Materias: “...Software engineering...”
-
4Materias: “...Computer aided software engineering...”