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

Ralf Mnzenberger, Matthias Drfel, Frank Slomka, Richard Hofmann

Browse the full DATE paper archive.