Ananda Basu, Laurent Mounier, Marc Poulhičs, Jacques Pulou, Joseph Sifakis. Using BIP for Modeling and Verification of Networked Systems - A Case Study on TinyOS-based Networks. In IEEE NCA'07, Cambridge, USA, July 2007.
Download paper:
Adobe portable document (pdf)
Copyright notice:
[ Modeling and validation of wireless sensor networks ]
@InProceedings{BasuMounierPoulhiesPulouSifakis07,
Author = {Basu, Ananda and Mounier, Laurent and Poulhičs, Marc and Pulou, Jacques and Sifakis, Joseph},
Title = {Using BIP for Modeling and Verification of Networked Systems - A Case Study on TinyOS-based Networks},
BookTitle = {IEEE NCA'07},
Address = {Cambridge, USA},
Month = {July},
Year = {2007}
}
Get EndNote Reference (.ref)