Verimag

bibtex

@article{BBB+11e,
    title = {Rigorous Component-Based System Design Using the BIP Framework },
    author = {Basu, Ananda and Bensalem, Saddek and Bozga, Marius and Combaz, Jacques and Jaber, Mohamad and Nguyen, Thanh-Hung and Sifakis, Joseph},
    year = {2011},
    journal = {IEEE Software},
    number = {3},
    pages = {41-48},
    volume = {28},
    team = {DCS, RSD},
}

Sections de Publications


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

info visites 916321