( en | de | ru )

 

Disambiguation of "Bettaz, Mohamed"

Author of the publication

copydeleteadd this publication to your clipboard
Parallel simulation in rewriting logic: some observations.

, and . PDP, page 197-203. IEEE Computer Society, (1998)

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.

Mohamed Mohamed

Mohamed Mohamed Halawa

Mohamed Mohamed Gibry

Mohamed Ali Mohamed

Mohamed Suliman Mohamed

 

Other publications of authors with the same name

Compact Modeling and Rapid Prototyping of Communication Software with ECATNets: A Case Study., , , and . MASCOTS, page 149-154. The Society for Computer Simulation, (1993)Generating Python Code From Object-Z Specifications., , and . CoRR, (2018)Towards Mobile Z Schemas., and . Int. J. Comput. Sci. Appl., 2 (2): 101-117 (2005)Modelling and proving of truly concurrent systems with CATNets., and . PDP, page 265-272. IEEE, (1993)A Life-cycle For Parallel And Distributed Systems Based On two Models Of Concurrency., , and . PDP, page 551-558. IEEE, (1994)Formal Specification of Communication Protocols with Object-Based ECATNets., , and . EUROMICRO, page 492-. IEEE Computer Society, (1996)An Approach to UML Consistency Checking Based on Compositional Semantics., , and . Int. J. Embed. Real Time Commun. Syst., 8 (2): 1-23 (2017)A technique to validate automatic generation of Büchi automata from UML 2 sequence diagrams based on multi layer transformations., , and . Int. J. Comput. Vis. Robotics, 9 (2): 172-191 (2019)CIRTA: An ECATNets Based Model for Embedded Systems Specification., , and . ESA, page 261-267. CSREA Press, (2005)On TGG Ability for Transforming UML 2 Sequence Diagrams with Imbricate Combined Fragments to π-Calculus Specifications., , , and . ANT/SEIT, volume 83 of Procedia Computer Science, page 658-664. Elsevier, (2016)