Verimag

bibtex

@inproceedings{BSS09,
    title = {Modeling synchronous systems in BIP },
    author = {Bozga, Marius and Sfyrla, Vassiliki and Sifakis, Joseph},
    year = {2009},
    booktitle = {Proceedings of the 9th ACM {\&} IEEE International conference on Embedded software, EMSOFT 2009, Grenoble, France, October 12-16, 2009},
    pages = {77-86},
    publisher = {ACM},
    team = {DCS},
}

Sections de Publications


Contact | Plan du site | Site réalisé avec SPIP 2.1.26 + AHUNTSIC [CC License]

Visiteurs connectés : 10 ; visites : 438118