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},
}


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

info visites 3748582