Normal view
MARC view
Computational analysis, synthesis, and design of dynamic systems ; (Uniform Title)
Machine generated authority record.
Work cat.: (MY-SjTCS): Model-based testing for embedded systems /, c2012.