Verimag

bibtex

@inproceedings{BBB+11f,
    title = {Rigorous system level modeling and analysis of mixed HW/SW systems },
    author = {Bourgos, Paraskevas and Basu, Ananda and Bozga, Marius and Bensalem, Saddek and Sifakis, Joseph and Huang, Kai},
    year = {2011},
    booktitle = {9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, MEMOCODE 2011, Cambridge, UK, 11-13 July, 2011},
    pages = {11-20},
    publisher = {IEEE},
    team = {DCS, RSD},
}

Publication Sections


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

info visites 912556