The Superimposition of Estelle Programs: A Tool for the Specification and Implementation of Observation and Control Algorithms.

Benot Caillaud

Browse the full FORTE paper archive.