Normal view
MARC view
Logiciels de base Essais (Topical Term)
Machine generated authority record.
Work cat.: (AT-ISTA): Model-based testing of reactive systems :, 2005.