Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Algorithms
Formal logic
Automata theory
1
Backwards verification
1
Chaos theory
1
Chaotic iteration
1
Control equipment
1
DBM
1
Data structures
1
Difference Bound Matrices (DBM)
1
Distributed timed model checking
1
Finite automata
1
Fixpoint
1
Iterative methods
1
Kronos
1
Load-balance
1
Mathematical models
1
Mathematical operators
1
Program processors
1
Reachability
1
Reconfiguration
1
Redistribution
1
Semantics
1
Set theory
1
Timed automata
1
Timed automata (TA)
1
Topology
1
Zeus
1
-
1Materias: “...Formal logic...”
JOUR -
2Materias: “...Formal logic...”
JOUR