Verimag

bibtex

@inproceedings{BMP+07e,
    title = {Using BIP for Modeling and Verification of Networked Systems -- A Case Study on TinyOS-based Networks },
    author = {Basu, Ananda and Mounier, Laurent and Poulhi\`es, Marc and Pulou, Jacques and Sifakis, Joseph},
    year = {2007},
    booktitle = {Sixth IEEE International Symposium on Network Computing and Applications (NCA 2007), 12 - 14 July 2007, Cambridge, MA, USA},
    pages = {257-260},
    publisher = {IEEE Computer Society},
    team = {DCS,RSD,PACSS},
}

Publication Sections


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

info visites 818168