Using BIP for Modeling and Verification of Networked Systems -- A Case Study on TinyOS-based Networks.

Ananda Basu, Laurent Mounier, Marc Poulhis, Jacques Pulou, Joseph Sifakis

Browse the full NCA paper archive.