( en | de | ru )

 

Disambiguation of "Laouiti, Anis"

Author of the publication

copydeleteadd this publication to your clipboard
An Event-B Based Approach for Formal Modelling and Verification of Smart Contracts.

, , , , and . AINA, volume 1151 of Advances in Intelligent Systems and Computing, page 1303-1318. Springer, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Souhir Laouiti

Siegfried Anisch

Muhammad Anis

Luc Aniset

Natalia Anisimova

 

Other publications of authors with the same name

Experiments with OLSR Routing in a MANET (RTO-MP-IST-054), , , , , , , , and . Meeting Proceedings RTO-MP-IST-054, page 23-1 - 23-24. (2006)DRMF: A Distributed Resource Management Framework for Industry 4.0 Environments., , , and . NCA, page 1-9. IEEE, (2019)An IoT-Blockchain Architecture Based on Hyperledger Framework for Healthcare Monitoring Application., , , and . NTMS, page 1-5. IEEE, (2019)A Reactive Wireless Mesh Network Architecture., , and . Med-Hoc-Net, volume 265 of IFIP, page 203-214. Springer, (2008)Cluster-based protocol structures in WSNs., , and . IWSSIP, page 183-186. IEEE, (2014)Multicasting in Mobile Ad Hoc Networks., and . Guide to Wireless Ad Hoc Networks, Springer, (2009)Scalable and adaptive overlay for efficient forwarding in volunteer clouds., and . Int. J. Space Based Situated Comput., 7 (4): 217-228 (2017)Quantitative Evaluation of the Cost of Routing Protocol OLSR in a Vehicle Ad Hoc NETwork (VANET)., , , and . VTC Spring, page 2986-2990. IEEE, (2008)Duplicate Address Detection and Autoconfiguration in OLSR., , , and . J. Univers. Comput. Sci., 13 (1): 4-31 (2007)Optimized trajectory of a robot deploying wireless sensor nodes., , , , and . Wireless Days, page 1-6. IEEE, (2014)