Laurent Mounier, Marc Poulhiès, Jacques Pulou, Joseph Sifakis Ananda Basu. Using BIP for Modeling and Verification of Networked Systems - A Case Study on TinyOS-based Networks. Research Report Verimag, No 0, April 2007.
Download paper: (link)
Copyright notice:
[ Modeling and validation of wireless sensor networks ]
@TechReport{verimag-TR-2007-5,
Author = {Ananda Basu, Laurent Mounier, Marc Poulhiès, Jacques Pulou, Joseph Sifakis},
Title = {Using BIP for Modeling and Verification of Networked Systems - A Case Study on TinyOS-based Networks},
Number = {0},
Institution = {Verimag},
Address = {Centre Équation, 38610 Gières},
Month = {April},
Year = {2007}
}
Get EndNote Reference (.ref)