An Approach to Real Time Systems Modeling.

Paul Caspi, Nicolas Halbwachs

Browse the full ICDCS paper archive.