Verimag

bibtex

@inproceedings{SSC+04,
    title = {Defining and translating a ``safe'' subset of Simulink/Stateflow into Lustre },
    author = {Scaife, Norman and Sofronis, Christos and Caspi, Paul and Tripakis, Stavros and Maraninchi, Florence},
    month = {sep},
    year = {2004},
    booktitle = {Fourth ACM International Conference on Embedded Software (EMSOFT)},
    address = {Pise, Italie},
    team = {SYNC},
}

Publication Sections


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

info visites 895480