DMCA

Compositional Translation of Simulink Models into Synchronous BIP

Cached

Download Links

by Vassiliki Sfyrla , Georgios Tsiligiannis , Iris Safaka , Marius Bozga , Joseph Sifakis
Citations:2 - 2 self