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},

Sections de Publications

Contact | Plan du site | Site réalisé avec SPIP 3.1.12 + AHUNTSIC [CC License]

info visites 1631567