Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Abstracting
4
Finite model
Industrial strength
4
Novel techniques
4
Protocol specifications
4
Specifications
4
Abstraction techniques
2
Based specification
2
Behavior model
2
Behaviour models
2
Computer software
2
Concrete state
2
Engineering activities
2
Finite-state abstraction
2
Level of abstraction
2
Pre/post conditions
2
Requirements/specifications
2
Software engineering
2
automated abstraction
2
validation
2
-
1
-
2
-
3
-
4