Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Behavior model
Software engineering
2
Abstracting
1
Abstraction techniques
1
Algorithms
1
Anomalous behavior
1
Computer software
1
Concrete state
1
Design
1
Engineering activities
1
Event-based
1
Finite model
1
Industrial strength
1
Liveness
1
Liveness properties
1
Methodological guidelines
1
Novel techniques
1
Protocol specifications
1
Requirements/specifications
1
Specifications
1
Sufficient conditions
1
Synthesis techniques
1
automated abstraction
1
validation
1
-
1
-
2Materias: “...Software engineering...”