Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Computation theory
Artificial intelligence
1
Automata theory
1
Automated approach
1
Computer architecture
1
Computer software
1
Distributed computer systems
1
Distributed timed model-checker
1
Graph theory
1
Learning systems
1
Mathematical models
1
Matrix algebra
1
Model checking
1
Model-checking
1
Problem solving
1
Program processors
1
Real time systems
1
Requirements elicitation
1
Scenario-based specifications
1
Semi-automated
1
Set theory
1
Software engineering
1
Specifications
1
Time-consuming tasks
1
Timed automata
1
-
1Materias: “...Software engineering...”
Artículo publishedVersion -
2Materias: “...Computer software...”
Artículo publishedVersion