Vassiliki Sfyrla

Publication Activity (10 Years)

Years Active: 2009-2010
Publications (10 Years): 0

Publications

Vassiliki Sfyrla, Georgios Tsiligiannis, Iris Safaka, Marius Bozga, Joseph Sifakis
Compositional Translation of Simulink Models into Synchronous BIP. SIES (2010)
Marius Bozga, Vassiliki Sfyrla, Joseph Sifakis
Modeling synchronous systems in BIP. EMSOFT (2009)