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