A compositional method for the top-down design of real-time systems.

Published in: RTS (1992)

Keyphrases

real time systems
high accuracy
similarity measure
significant improvement
detection method
objective function
segmentation method
computational efficiency
cooperative
clustering method