Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Software engineering
2
Abstracting
1
Admissible sequences
1
Aircraft control
1
Alloy
1
Antennas
1
Automation
1
Behaviour models
1
Computational complexity
1
Computer hardware description languages
1
Computer programming languages
1
Control theory
1
Controllers
1
Data acquisition
1
Discrete event dynamics
1
Discrete-time controllers
1
DynAlloy
1
Dynamic logic
1
Dynamic programming
1
Economic and social effects
1
Formal logic
1
Hybrid adaptive control
1
Hybrid control systems
1
Level of abstraction
1
Non-trivial
1
Semantics
1
Simulation-based designs
1
Software specification
1
Software specifications
1
Software validation
1
-
1Materias: “...Software validation...”
CONF -
2Materias: “...source code validation...”
CONF -
3por Marcosig, E.P., Giribet, J.I., Castro, R., Chan V., AnyLogic Company; et al.; IDEA FUSION; Modeling, Simulation and Visualization Engineering; Old Dominion University; SimioMaterias: “...Verification-and-validation...”
CONF