C. Metzler

Publication Activity (10 Years)

Years Active: 2003-2003
Publications (10 Years): 0

Publications

George Logothetis, Klaus Schneider, C. Metzler
Exact Low-Level Runtime Analysis of Synchronous Programs for Formal Verification of Real-Time Systems. FDL (2003)
George Logothetis, Klaus Schneider, C. Metzler
Generating Formal Models for Real-Time Verification by Exact Low-Level Runtime Analysis of Synchronous Programs. RTSS (2003)
George Logothetis, Klaus Schneider, C. Metzler
Runtime Analysis of Synchronous Programs for Low-Level Real-Time Verification. SBCCI (2003)