Verimag

bibtex

@inproceedings{JHR+07,
    title = { Virtual execution of AADL models via a translation into synchronous programs },
    author = {Jahier, Erwan and Halbwachs, Nicolas and Raymond, Pascal and Nicollin, Xavier and Lesens, David},
    year = {2007},
    booktitle = {Proceedings of the 7th ACM {\&} IEEE International conference on Embedded software, EMSOFT 2007, September 30 - October 3, 2007, Salzburg, Austria},
    pages = {134-143},
    publisher = {ACM},
    team = {SYNC},
}

URL

Publication Sections


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

info visites 894465