Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Software engineering
7
Specifications
5
Learning systems
4
Artificial intelligence
3
Automated approach
3
Computation theory
3
Model checking
3
Requirements elicitation
3
Scenario-based specifications
3
Semi-automated
3
Abstracting
2
Automated support
2
automated abstraction
2
Abstraction techniques
1
Admissible sequences
1
Application programs
1
Automata theory
1
Automated control
1
Behavior model
1
Behaviour models
1
Computer circuits
1
Concrete state
1
Controller synthesis
1
Controllers
1
Engineering activities
1
Engineering education
1
Event calculus
1
Existence of a solutions
1
Finite model
1
Future challenges
1
-
1Materias: “...automated abstraction...”
CONF -
2Materias: “...Semi-automated...”
Artículo publishedVersion -
3Materias: “...Semi-automated...”
Artículo publishedVersion -
4Materias: “...automated abstraction...”
JOUR -
5Materias: “...Semi-automated...”
SER -
6Materias: “...Automated control...”
JOUR -
7Materias: “...Automated support...”
CONF -
8Materias: “...Automated support...”
CONF