Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Algorithms
2
Automata theory
2
Timed Automata
2
Verification tools
2
Abstract data types
1
Computer aided analysis
1
Dynamic frame
1
Information use
1
Machinery
1
Modelling elements
1
Non-circular
1
Non-trivial
1
Optimization tools
1
Optimized models
1
Original model
1
Parallel composition
1
Programming language
1
Real time systems
1
Relevant components
1
State-space explosion
1
State-space reduction
1
Structural invariants
1
Theory of dynamics
1
Time sharing systems
1
Timed systems
1
Tools
1
Trees (mathematics)
1
-
1Materias: “...Automata theory...”
SER -
2Materias: “...Theory of dynamics...”
SER -
3Materias: “...Automata theory...”
SER