Submitted:

15 March 2017

Posted:

16 March 2017

Withdrawn:

27 May 2019

This preprint has been withdrawn

Preprint

Article

This version is not peer-reviewed.

Withdrawn:

The Event-B Modelling with Operators-based Refinement of NoC-based Wireless Sensors Networks

Abdelhamid Hariche^*,Mostefa Belarbi^*,Abdallah Chouarfia^*,Abdelkader Chaib^*

Abdelhamid Hariche^*,Mostefa Belarbi^*,Abdallah Chouarfia^*,Abdelkader Chaib^*

Submitted:

15 March 2017

Posted:

16 March 2017

Withdrawn:

27 May 2019

Preprints.org is a free preprint server supported by MDPI in Basel, Switzerland.

bsky

MDPI Initiatives

Important Links

Subscribe

Choose an area of interest and we will send you notifications of new preprints at your preferred frequency.

© 2026 MDPI (Basel, Switzerland) unless otherwise stated

Disclaimer

Privacy Settings

© 2026 MDPI (Basel, Switzerland) unless otherwise stated