( en | de | ru )

 

Disambiguation of "Belarbi, Mostefa"

Author of the publication

copydeleteadd this publication to your clipboard
Formal Proof of the Dependable Bypassing Routing Algorithm Suitable for Adaptive Networks on Chip QnoC Architecture.

, , , , and . Syst., 5 (1): 17 (2017)

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.

Mostefa Kokabi

Mostefa Bouchetara

Mostefa Kokabi

Mostefa Kokabi

Mostefa Kokabi

 

Other publications of authors with the same name

Converging image processing and data mining for Raman spectroscopy analysis., , and . Int. J. Commun. Networks Distributed Syst., 28 (3): 287-311 (2022)Semantic Enrichment of Web Service Architecture., , , and . Ontology Theory, Management and Design, IGI Global, (2010)Based Principal Component Analysis of Associated Ionic Liquid Biosensors., , and . ANT/SEIT, volume 83 of Procedia Computer Science, page 1038-1043. Elsevier, (2016)Temporal Verification of Real-Time Multitasking Application Properties Based on Communicating Timed Automata., , and . DS-RT, page 188-195. IEEE Computer Society, (2004)Multi approach for real-time systems specification: case study of GPU parallel systems., , and . Int. J. Big Data Intell., 3 (2): 122-141 (2016)Formal Test and Simulation Environment of Wireless Body Network., , , and . ICOST, volume 10461 of Lecture Notes in Computer Science, page 240-246. Springer, (2017)Contribution to the development of a rapid prototyping platform model for reconfigurable nano-biosensors based on nanotechnologies., , and . ANT/EDI40, volume 151 of Procedia Computer Science, page 891-896. Elsevier, (2019)Formal Modelling of Real-Time Embedded Automotive Architecture.. Transactions of the SDPS, 13 (2): 1-18 (2009)Formal Proof of the Dependable Bypassing Routing Algorithm Suitable for Adaptive Networks on Chip QnoC Architecture., , , , and . Syst., 5 (1): 17 (2017)Formal specification and verification of wireless networked self-organized Systems on Chip., , , and . CoDIT, page 730-735. IEEE, (2014)