A Design Tool for the Multilevel Description and Simulation of Systems of Interconnected Modules.

M. Moalla, Gabriele Saucier, Joseph Sifakis, Marianthi Zachariades

Browse the full ISCA paper archive.