( en | de | ru )

 

Disambiguation of "Bettaz, Mohamed"

Author of the publication

copydeleteadd this publication to your clipboard
Distributed Simulation of ECATNets: A Conservative Approach.

, , , and . PDP, page 518-525. IEEE Computer Society, (1996)

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

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)Object Based Software Engineering with Hidden Sorted ECATNets and Hidden Labeled Rewriting Logic.. AICCSA, page 386-. IEEE Computer Society, (2001)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)Formal Specification of Communication Protocols with Object-Based ECATNets., , and . EUROMICRO, page 492-. IEEE Computer Society, (1996)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)Implementing OntoUML Models with OntoObject-Z Specifications: A Proof of Concept Relying on a Partial Ontology for VLANs.. SIMULTECH, page 407-414. SCITEPRESS, (2024)