Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Design
4
Model checking
3
Automata theory
2
Computer software
2
Model checking tools
2
Scheduling
2
Software engineering
2
Abstracting
1
Algorithms
1
Analytical theory
1
Anomalous behavior
1
Automata
1
Automatic approaches
1
Automatic technique
1
Behavior model
1
Behavioral model
1
Behavioral modeling
1
Behavioral properties
1
Behaviour validation
1
Communication
1
Concise representations
1
Declarative Languages
1
Declarative models
1
Declarative semantics
1
Distributed systems
1
Duration properties
1
Effective translation
1
Embedded systems
1
Event-based
1
Fixed-priority scheduling
1
Buscar alternativas:
designations » destinations (Expander búsqueda), destination (Expander búsqueda)
designations » destinations (Expander búsqueda), destination (Expander búsqueda)
-
1
-
2
-
3Materias: “...Design...”
-
4
-
5Materias: “...Model driven design...”
-
6