Composing heterogeneous reactive systems (0)

by A Benveniste, B Caillaud, L P Carloni, P Caspi, A L Sangiovanni-Vincentelli
Venue:ACM-TECS