Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Design
3
Computer software
2
Model checking
2
Abstracting
1
Algorithms
1
Anomalous behavior
1
Automata
1
Automata theory
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
Duration properties
1
Effective translation
1
Embedded systems
1
Event-based
1
Formal Description
1
Formal Specifications
1
Formal methods
1
Formal specification
1
Interactive computer systems
1
Liveness
1
Liveness properties
1
-
1Materias: “...Design...”
JOUR -
2Materias: “...Real-time system designs...”
CONF -
3Materias: “...Design...”
SER -
4Materias: “...Model driven design...”
CONF -
5Materias: “...Software design...”
JOUR