Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Mathematical models
6
Set theory
Algorithms
3
Automata theory
3
Backwards verification
3
Chaos theory
3
Chaotic iteration
3
Computation theory
3
Computer architecture
3
Computer software
3
Distributed computer systems
3
Distributed timed model-checker
3
Finite automata
3
Fixpoint
3
Formal logic
3
Graph theory
3
Iterative methods
3
Mathematical operators
3
Matrix algebra
3
Model-checking
3
Problem solving
3
Program processors
3
Real time systems
3
Semantics
3
Time-consuming tasks
3
Timed automata
3
Timed automata (TA)
3
-
1Materias: “...Automata theory...”
Artículo publishedVersion -
2Materias: “...Automata theory...”
Artículo publishedVersion -
3Materias: “...Automata theory...”
JOUR -
4Materias: “...Chaos theory...”
Artículo publishedVersion -
5Materias: “...Chaos theory...”
Artículo publishedVersion -
6Materias: “...Chaos theory...”
JOUR