Login / Signup
Sanae El Mimouni
ORCID
Publication Activity (10 Years)
Years Active: 2015-2016
Publications (10 Years): 1
Top Topics
Variable Size
Fair Exchange
Agent Mediated
Electronic Commerce
Top Venues
AICCSA
IAS
CSE
NETYS
</>
Publications
</>
Sanae El Mimouni
,
Mohamed Bouhdadi
An Incremental Proof-Based Process of the NetBill Electronic Commerce Protocol.
NETYS
(2016)
Sanae El Mimouni
,
Mohamed Bouhdadi
An incremental refinement approach to a development of TMN protocol.
IAS
(2015)
Sanae El Mimouni
,
Mohamed Bouhdadi
Formal modeling of the Simple Text Oriented Messaging Protocol using Event-B method.
AICCSA
(2015)
Sanae El Mimouni
,
Mohamed Bouhdadi
Applying Event-B Refinement to the Sliding Window Protocol.
CSE
(2015)