Mohamed Bouhdadi

Formal modeling of the Simple Text Oriented Messaging Protocol using Event-B method

Sanae El Mimouni, Mohamed Bouhdadi, 2015, 2015 IEEE/ACS 12th International Conference of Computer Systems and Applications (AICCSA).

A meta-model syntax for structural constraints in ODP enterprise language

Mohamed Bouhdadi, El Maâti Chabbar, Hafid Belhaj, 2006 .

Event B for ODP Enterprise Behavioral Concepts Specification

Youssef Balouki, Mohamed Bouhdadi, Hafid Belhaj, 2022 .

The Internet is challenging the intelligent network

Bouabid El Ouahidi, Daniel Bourget, Mohamed Bouhdadi, 2000, Proceedings ISCC 2000. Fifth IEEE Symposium on Computers and Communications.

Specifying QoS Structural Constraints in RM- ODP

Salah-ddine Krit, Jalal Laassiri, Mohamed Bouhdadi, 2011 .

A meta-model semantics for structural constraints in ODP computational language

Mohamed Bouhdadi, El Maâti Chabbar, Youssef Bellouki, 2006 .