A New Time Model for the Specification, Design, Validation and Synthesis of Embedded Real-Time Systems

Ralf Münzenberger, Matthias Dörfel, Frank Slomka, Richard Hofmann. A New Time Model for the Specification, Design, Validation and Synthesis of Embedded Real-Time Systems. In 2002 Design, Automation and Test in Europe Conference and Exposition (DATE 2002), 4-8 March 2002, Paris, France. pages 1095, IEEE Computer Society, 2002. [doi]

Abstract

Abstract is missing.