Normal view
MARC view
Systems software Testing (Topical Term)
Machine generated authority record.
Work cat.: (AT-ISTA): Model-based testing of reactive systems :, 2005.