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

researchr

You are not signed in
Sign in
Sign up

Sanae El Mimouni, Mohamed Bouhdadi. Formal modeling of the Simple Text Oriented Messaging Protocol using Event-B method. In 12th IEEE/ACS International Conference of Computer Systems and Applications, AICCSA 2015, Marrakech, Morocco, November 17-20, 2015. pages 1-4, IEEE, 2015. [doi]

This author has not been identified. Look up 'Sanae El Mimouni' in GoogleThis author has not been identified. Look up 'Mohamed Bouhdadi' in Google

runs on WebDSL