Pre-simulation symbolic analysis of synchronization issues between discrete event and timed data flow models of computation.

Liliana Andrade, Torsten Maehne, Alain Vachoux, Cdric Ben Aoun, Franois Pcheux, Marie-Minerve Lourat

Browse the full DATE paper archive.