Normal view
MARC view
Système informatique réactif (Topical Term)
Machine generated authority record.
Work cat.: (AT-ISTA): Model-based testing of reactive systems :, 2005.