An event-based real-time logic to specify the behavior and timing properties of real-time systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Horng-Yuan Chen, Jeffrey J. P. Tsai, Yao-Dong Bi. An event-based real-time logic to specify the behavior and timing properties of real-time systems. In Third International Conference on Tools for Artificial Intelligence, TAI '91, San Jose, CA, USA, November 10-13, 1991. pages 210-219, IEEE, 1991. [doi]

This author has not been identified. Look up 'Horng-Yuan Chen' in GoogleThis author has not been identified. Look up 'Jeffrey J. P. Tsai' in GoogleThis author has not been identified. Look up 'Yao-Dong Bi' in Google

runs on WebDSL