Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Mathematical models
Automata theory
3
Computer software
3
Algorithms
2
Distributed computer systems
2
Program processors
2
Semantics
2
Set theory
2
Timed Automata
2
Timed automata
2
Backwards verification
1
Behavioral research
1
Behaviour models
1
Case-based approach
1
Case-based approaches
1
Chaos theory
1
Chaotic iteration
1
Compositional modeling
1
Computation theory
1
Computer architecture
1
Computer programming languages
1
Computer workstations
1
Concolic execution
1
Data storage equipment
1
Distributed Timed Model Checking
1
Distributed timed model checking
1
Distributed timed model-checker
1
Finite automata
1
Fixpoint
1
Flowcharting
1
-
1Materias: “...Model-based testing...”
-
2
-
3Materias: “...Mathematical models...”
-
4Materias: “...Distributed Timed Model Checking...”
-
5Materias: “...Partial behaviour models...”
-
6Materias: “...Mathematical models...”