Verimag

bibtex

@article{BBB+11a,
    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},
}

Publication Sections


Contact | Site Map | Site created with SPIP 2.1.26 + AHUNTSIC [CC License]

Logged in visitors: 13 ; visits: 449567