bibtex

@inproceedings{CCM+03a,
    title = {Translating Discrete-Time {S}imulink to {L}ustre },
    author = {Caspi, Paul and Curic, Adrian and Maignan, Aude and Sofronis, Christos and Tripakis, Stavros},
    year = {2003},
    booktitle = {Embedded Software EMSOFT2003},
    pages = {84--99},
    publisher = {Springer Verlag},
    series = {Lecture Notes in Computer Science},
    volume = {2855},
    team = {SYNC},
}


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

info visites 4184938