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

Autor: Andrade, Liliana, Maehne, Torsten, Vachoux, Alain, Ben Aoun, Cedric, Pecheux, Francois, Louerat, Marie-Minerve
Zdroj: 2015 Design, Automation & Test in Europe Conference & Exhibition (DATE); 2015, p1671-1676, 6p
Databáze: Complementary Index