Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Model checking
Software engineering
Artificial intelligence
4
Automated approach
4
Computation theory
4
Learning systems
4
Requirements elicitation
4
Scenario-based specifications
4
Semi-automated
4
Specifications
4
Analytical theory
2
Automata theory
2
Automatic approaches
2
Design
2
Distributed systems
2
Fixed-priority scheduling
2
Formal verifications
2
Model checking tools
2
Scheduling
2
Scheduling analysis
2
Timing requirements
2
-
1Publicado 2012Materias: “...Requirements elicitation...”
-
2Materias: “...Requirements elicitation...”
Artículo publishedVersion -
3Materias: “...Requirements elicitation...”
Artículo publishedVersion -
4Materias: “...Requirements elicitation...”
SER -
5
-
6Materias: “...Timing requirements...”
SER