Verimag

bibtex

@inproceedings{'TCB5',
    title = { Optimized distributed implementation of timed component-based systems },
    author = {Triki, Ahlem and Combaz, Jacques and Bensalem, Saddek},
    year = {2015},
    booktitle = {13. {ACM/IEEE} International Conference on Formal Methods and Models for Codesign, {MEMOCODE} 2015, Austin, TX, USA, September 21-23, 2015},
    crossref = {DBLP:conf/memocode/2015},
    pages = {30--35},
    team = {DCS, RSD},
}

URL

Publication Sections


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

info visites 775547