Verimag

bibtex

@article{CCM+05,
    title = {Translating Discrete-Time {S}imulink to {L}ustre },
    author = {Caspi, Paul and Curic, Adrian and Maignan, Aude and Sofronis, Christos and Tripakis, Stavros},
    month = {September},
    year = {2005},
    journal = {ACM Trans. Embedded Computing Systems},
    number = {4},
    pages = {779 -- 818},
    volume = {4},
    team = {SYNC},
}

Publication Sections


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

info visites 912843