Sanae El Mimouni

According to our database¹, Sanae El Mimouni authored at least 4 papers between 2015 and 2016.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2016

An Incremental Proof-Based Process of the NetBill Electronic Commerce Protocol.

[BibT_eX]

[DOI]

Proceedings of the Networked Systems - 4th International Conference, 2016

2015

Applying Event-B Refinement to the Sliding Window Protocol.

[BibT_eX]

[DOI]

Proceedings of the 18th IEEE International Conference on Computational Science and Engineering, 2015

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

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE/ACS International Conference of Computer Systems and Applications, 2015

An incremental refinement approach to a development of TMN protocol.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Information Assurance and Security, 2015