| |
| 1996 | ||
|---|---|---|
| 2 | EE | Mbi Makungu, Richard St.-Denis, Michel Barbeau: A Colored Petri Net-Based Format Method for the Design of Control Systems. COMPSAC 1996: 28-35 |
| 1994 | ||
| 1 | EE | Mbi Makungu, Michel Barbeau: The contract approach illustrated with a distributed routing protocol. CASCON 1994: 42 |
| 1 | Michel Barbeau | [1] [2] |
| 2 | Richard St.-Denis | [2] |