Verimag

bibtex

@inproceedings{STS+10,
    title = {Compositional Translation of Simulink Models into Synchronous BIP },
    author = {Sfyrla, Vassiliki and Tsiligiannis, Georgios and Safaka, Iris and Bozga, Marius and Sifakis, Joseph},
    year = {2010},
    booktitle = {IEEE Fifth International Symposium on Industrial Embedded Systems - SIES 2010, University of Trento, Italy, July 7-9, 2010},
    pages = {217-220},
    publisher = {IEEE},
    team = {DCS, RSD},
}

Publication Sections


Contact | Site Map | Site powered by SPIP 3.0.25 + AHUNTSIC [CC License]

info visites 792956