Early Fault-Detection in the Development of Exceedingly Complex Reactive Systems.

Assaf Marron, David Harel

Browse the full MODELSWARD paper archive.