Specification of Real-Time Systems in Real-Time Temporal Interval Logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

K. T. Narayana, A. A. Aaby. Specification of Real-Time Systems in Real-Time Temporal Interval Logic. In Proceedings of the 9th IEEE Real-Time Systems Symposium (RTSS 88), December 6-8, 1988, Huntsville, Alabama, USA. pages 86-95, IEEE Computer Society, 1988.

This author has not been identified. Look up 'K. T. Narayana' in GoogleThis author has not been identified. Look up 'A. A. Aaby' in Google

runs on WebDSL