Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Abstracting
2
Software engineering
automated abstraction
2
Abstraction techniques
1
Admissible sequences
1
Behavior model
1
Behaviour models
1
Concrete state
1
Engineering activities
1
Finite model
1
Industrial strength
1
Level of abstraction
1
Non-trivial
1
Novel techniques
1
Protocol specifications
1
Requirements/specifications
1
Source codes
1
Specifications
1
behaviour model synthesis
1
source code validation
1
validation
1
-
1Materias: “...validation...”
-
2Materias: “...source code validation...”