Mbi Makungu

Publication Activity (10 Years)

Years Active: 1994-1999
Publications (10 Years): 0

Publications

Mbi Makungu, Michel Barbeau, Richard St-Denis
Synthesis of Controllers of Processes Modeled as Colored Petri Nets. Discret. Event Dyn. Syst. 9 (2) (1999)
Mbi Makungu, Richard St-Denis, Michel Barbeau
A Colored Petri Net-Based Format Method for the Design of Control Systems. COMPSAC (1996)
Mbi Makungu, Michel Barbeau
The contract approach illustrated with a distributed routing protocol. CASCON (1994)