( en | de | ru )

 

Disambiguation of "Tounsi, Mohamed"

Author of the publication

copydeleteadd this publication to your clipboard
Enhancing Proofs of Local Computations through Formal Event-B Modularization.

, , , and . WETICE, page 50-55. IEEE Computer Society, (2014)

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.

Wiem Tounsi

Mohamed Mohamed

Mohamed Mohamed Halawa

Mohamed Mohamed Gibry

Mohamed Suliman Mohamed

 

Other publications of authors with the same name

An Iterative local-search framework for solving constraint satisfaction problem., and . Appl. Soft Comput., 8 (4): 1530-1535 (2008)An explanation-based tools for debugging constraint satisfaction problems., and . Appl. Soft Comput., 8 (4): 1400-1406 (2008)Cybersecurity attacks on CAN bus based vehicles: a review and open challenges., , and . Libr. Hi Tech, 40 (5): 1179-1203 (2022)Modeling and Proving Distributed Algorithms for Dynamic Graphs., , and . Future Gener. Comput. Syst., (2020)Vehicle Platooning Systems: Review, Classification and Validation Strategies., , and . Int. J. Networked Distributed Comput., 8 (4): 203-213 (2020)Distributed Computations in Wireless Sensor Networks by Local Interactions., , , and . ADHOC-NOW, volume 11104 of Lecture Notes in Computer Science, page 293-304. Springer, (2018)Enhancing Proofs of Local Computations through Formal Event-B Modularization., , , and . WETICE, page 50-55. IEEE Computer Society, (2014)A new dot plot-based algorithm for genomes sequences comparison: A preliminary study., and . Expert Syst. Appl., 30 (1): 34-41 (2006)Successive Search Method for Solving Valued Constraint Satisfaction and Optimization Problems., and . Int. J. Artif. Intell. Tools, 11 (3): 425-436 (2002)The role of BPR in the implementation of ERP systems., , and . Bus. Process. Manag. J., 15 (5): 653-668 (2009)