![]() | ![]() |
2007 | ||
---|---|---|
2 | EE | 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. NCA 2007: 257-260 |
2006 | ||
1 | EE | Marc Poulhiès, Jacques Pulou, Christophe Rippert, Joseph Sifakis: A Methodology and Supporting Tools for the Development of Component-Based Embedded Systems. Monterey Workshop 2006: 75-96 |
1 | Ananda Basu | [2] |
2 | Laurent Mounier | [2] |
3 | Jacques Pulou | [1] [2] |
4 | Christophe Rippert | [1] |
5 | Joseph Sifakis | [1] [2] |