Bahija Boulamaat

An Incremental Refinement Approach to a Development of the Remote Authentication Dial-In User Service Protocol

Sanae El Mimouni, M. Bouhdadi, R. Filali, 2015 .

Using Event-B Method to model Routing Information Protocol

Sanae El Mimouni, M. Bouhdadi, R. Filali, 2015 .