Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Software engineering
Learning systems
6
Specifications
6
Abstracting
4
Artificial intelligence
4
Automated approach
4
Computation theory
4
Model checking
4
Requirements elicitation
4
Scenario-based specifications
4
Semi-automated
4
automated abstraction
4
Abstraction techniques
2
Admissible sequences
2
Alloy
2
Android
2
Android (operating system)
2
Android applications
2
Application programs
2
Automata theory
2
Automated control
2
Automated detection
2
Automated support
2
Automation
2
Behavior model
2
Behaviour models
2
Computational complexity
2
Computer circuits
2
Computer hardware description languages
2
Computer programming languages
2
-
1Materias: “...automated abstraction...”
-
2Materias: “...automated abstraction...”
CONF -
3Materias: “...automated abstraction...”
-
4Publicado 2012Materias: “...Semi-automated...”
-
5Materias: “...Semi-automated...”
Artículo publishedVersion -
6Materias: “...Semi-automated...”
Artículo publishedVersion -
7Materias: “...automated abstraction...”
JOUR -
8Materias: “...Semi-automated...”
SER -
9Materias: “...Automation...”
-
10Materias: “...Automation...”
CONF -
11Publicado 2017Materias: “...Automated detection...”
-
12
-
13Publicado 2017Materias: “...Automated control...”
-
14Materias: “...Automated control...”
JOUR -
15Publicado 2016Materias: “...Automated support...”
-
16Materias: “...Automated support...”
CONF