Runtime Analysis of Synchronous Programs for Low-Level Real-Time Verification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

George Logothetis, Klaus Schneider, C. Metzler. Runtime Analysis of Synchronous Programs for Low-Level Real-Time Verification. In Proceedings of the 16th Annual Symposium on Integrated Circuits and Systems Design, SBCCI 2003, Sao Paulo, Brazil, September 8-11, 2003. pages 211-216, IEEE Computer Society, 2003. [doi]

This author has not been identified. Look up 'George Logothetis' in GoogleThis author has not been identified. Look up 'Klaus Schneider' in GoogleThis author has not been identified. Look up 'C. Metzler' in Google

runs on WebDSL