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


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

info visites 3748582