Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Automata theory
Computer aided software engineering
2
Data structures
2
Interface automata
2
Model checking
2
Real time systems
2
Software engineering
2
Timed automata
2
Automated control
1
Behaviour models
1
Computer aided analysis
1
Computer aided verification techniques
1
Computer architecture
1
Computer programming languages
1
Computer simulation
1
Constraint theory
1
Controller synthesis
1
Controllers
1
Data storage equipment
1
Difference Bound Matrices
1
Difference bound matrices
1
Distributed computer systems
1
Distributed time model checking
1
Distributed timed model checking
1
Embedded systems
1
Existence of a solutions
1
Hypervolume approximation
1
Imperfect information games
1
Interaction model
1
KRONOS
1
-
1Materias: “...Systems engineering...”
CONF -
2Materias: “...Computer aided software engineering...”
SER -
3Materias: “...Reliability engineering...”
JOUR -
4Materias: “...Software engineering...”
JOUR -
5Materias: “...Computer aided software engineering...”
JOUR