( en | de | ru )

 

Disambiguation of "Younes, Ahlem Ben"

Author of the publication

copydeleteadd this publication to your clipboard
Message from the MVDA 2015 Workshop Organizers.

, , , and . COMPSAC Workshops, page 373-374. IEEE Computer Society, (2015)

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.

Ahlem Assila

Ahlem Baccouche

Ahlem Reggani

Ahlem Ferchichi

Jens-Thomas Ahlemann

 

Other publications of authors with the same name

Using UML Activity Diagrams and Event B for Distributed and Parallel Applications., and . COMPSAC (1), page 163-170. IEEE Computer Society, (2007)Specification and Verification of Workflow Applications using a Combination of UML Activity Diagrams and Event B., and . ICSOFT (2), page 312-316. SciTePress, (2010)An UML _AD-to-event_B refinement based approach for specifying and verifying workflow applications., and . iiWAS, page 523-526. ACM, (2011)Using AToM3 for the Verification of Workflow Applications., , and . ICSOFT (2), page 32-39. SciTePress, (2010)UML_AD2EventB: An Approach to Generating Event B Specification from UML Activity Diagrams for the Workflows Specification and Verification., and . SERVICES I, page 330-333. IEEE Computer Society, (2009)From UML Activity Diagrams to Event B for the Specification and the Verification of Workflow Applications., and . COMPSAC, page 643-648. IEEE Computer Society, (2008)From Sequence Diagrams to Event B: A Specification and Verification Approach of Flexible Workflow Applications of Cloud Services Based on Meta-model Transformation., , , and . COMPSAC (2), page 187-192. IEEE Computer Society, (2017)978-1-5386-0367-3.A BPEL4WS Extension to Develop and Execute Grid Service Workflow Application., , , and . COMPSAC Workshops, page 224-229. IEEE Computer Society, (2012)Using UML Activity Diagrams and Event B for the Specification and the Verification of Workflow Applications., and . MSVVEIS, page 149-155. INSTICC PRESS, (2009)A Proof of the Correctness of a Transformation Approach from UML Activity Diagrams to Event-B Models., , and . iiWAS, page 479-483. ACM, (2014)