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

• Authors:

• G. Logothetis;K. Schneider;C. Metzler

• Affiliations:

• -;-;-

• Venue:
• SBCCI '03 Proceedings of the 16th symposium on Integrated circuits and systems design
• Year:
• 2003