( en | de | ru )

 

Disambiguation of "Attoui, Ammar"

Author of the publication

copydeleteadd this publication to your clipboard
Reactive Systems Developing by Formal Specification Transformations.

, and . DEXA Workshop, page 339-344. IEEE Computer Society, (1997)

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.

Ammar Ammar

Maha Ammar

Ammar Khraisheh

Ammar Assoum

Ammar Mahdhaoui

 

Other publications of authors with the same name

A Formal Approach to the Specification and the Behavior Validation of Real-Time Systems Based on Rewriting Logic., and . Real Time Syst., 10 (1): 5-22 (1996)Reactive Systems Developing by Formal Specification Transformations., and . DEXA Workshop, page 339-344. IEEE Computer Society, (1997)An environment based on rewriting logic for parallel systems formal specification and prototyping.. J. Syst. Archit., 44 (2): 79-105 (1997)A specification and validation method to improve concurrent systems reliability based on object messaging and rewriting logic., and . ISSRE, page 387-392. IEEE Computer Society, (1995)Constraint Programming and Multi-Agent Systems Engineering., and . DEXA Workshop, page 346-351. IEEE Computer Society, (1997)Balancing and Sharing Load on a Transputer Network: a Dynamik Algorithm for Actor Placement., and . EUROSIM, page 251-258. Elsevier, (1994)Some Issues For The Distributed Scheduling Problem In The M02 Distributed Real-time Object-oriented Model., and . PDP, page 301-308. IEEE, (1994)An object oriented model for parallel and reactive systems., and . RTSS, page 84-93. IEEE Computer Society, (1991)A Heuristic Approach to Deal with the Scheduling Problem in the MO2 Distributed Model., and . ENTER, page 279-286. Springer, (1994)A Tool For Parallel Application Design., and . PDP, page 358-365. IEEE, (1994)