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