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