Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Computation theory
Distributed computer systems
6
Model checking
6
Artificial intelligence
4
Automata theory
4
Automated approach
4
Computer architecture
4
Computer software
4
Distributed timed model-checker
4
Graph theory
4
Learning systems
4
Mathematical models
4
Matrix algebra
4
Model-checking
4
Problem solving
4
Program processors
4
Real time systems
4
Requirements elicitation
4
Scenario-based specifications
4
Semi-automated
4
Set theory
4
Software engineering
4
Specifications
4
Time-consuming tasks
4
Timed automata
4
Algebra
2
Algorithmics
2
Complex networks
2
Computability and decidability
2
Computational networks
2
-
1Publicado 2012Materias: “...Model checking...”
-
2Materias: “...Model checking...”
Artículo publishedVersion -
3Materias: “...Model checking...”
Artículo publishedVersion -
4Materias: “...Model checking...”
SER -
5Materias: “...Model checking...”
-
6Materias: “...Model checking...”
CONF -
7Publicado 2015Materias: “...Model-checking techniques...”
-
8Materias: “...Model-checking...”
-
9Materias: “...Model-checking...”
Artículo publishedVersion -
10Materias: “...Model-checking...”
Artículo publishedVersion -
11Materias: “...Model-checking techniques...”
SER -
12Materias: “...Model-checking...”
JOUR