Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Computer software
5
Mathematical models
Automata theory
3
Computation theory
3
Computer architecture
3
Distributed computer systems
3
Distributed timed model-checker
3
Graph theory
3
Matrix algebra
3
Model-checking
3
Problem solving
3
Program processors
3
Real time systems
3
Set theory
3
Time-consuming tasks
3
Timed automata
3
Behavioral research
1
Behaviour models
1
Case-based approach
1
Case-based approaches
1
Concolic execution
1
Flowcharting
1
Graphic methods
1
Information theory
1
Language semantics
1
Linguistics
1
Live sequence chart
1
Live sequence charts
1
MTS
1
Modal Transition Systems
1
-
1Materias: “...Computer software...”
CONF -
2Materias: “...Computer software...”
Artículo publishedVersion -
3Materias: “...Computer software...”
Artículo publishedVersion -
4Materias: “...Computer software...”
JOUR -
5Materias: “...Computer software...”
CONF