2007 | ||
---|---|---|
2 | EE | El maati Chabbar, Mohamed Bouhdadi: On Verification of Communicating Finite State Machines Using Residual Languages. Asia International Conference on Modelling and Simulation 2007: 212-217 |
1 | EE | Mohamed Bouhdadi, Youssef Balouki, El maati Chabbar: Meta-modelling Syntax and Semantics of Structural Concepts for Open Networked Enterprises. ICCSA (3) 2007: 45-54 |
1 | Youssef Balouki | [1] |
2 | Mohamed Bouhdadi | [1] [2] |