A Declarative Language for the Specification of Real Time Systems

Antony A. Faustini, Edgar B. Lewis. A Declarative Language for the Specification of Real Time Systems. In Proceedings of the 6th IEEE Real-Time Systems Symposium (RTSS 85), December 3-6, 1985, San Diego, California, USA. pages 43-51, IEEE Computer Society, 1985.

Authors

Antony A. Faustini

This author has not been identified. Look up 'Antony A. Faustini' in Google

Edgar B. Lewis

This author has not been identified. Look up 'Edgar B. Lewis' in Google