( en | de | ru )

 

Disambiguation of "Mammar, Amel"

Author of the publication

copydeleteadd this publication to your clipboard
A Formal Semantics of Timed Activity Diagrams and its PROMELA Translation.

, and . APSEC, page 283-290. IEEE Computer Society, (2005)

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.

Amel Mlaouhi

Amel Belaggoun

Amel Bennaceur

Amel Hamzaoui

Amel Fraisse

 

Other publications of authors with the same name

A formal approach based on UML and B for the specification and development of database applications., and . Autom. Softw. Eng., 13 (4): 497-528 (2006)From a B formal specification to an executable code: application to the relational database domain., and . Inf. Softw. Technol., 48 (4): 253-279 (2006)Modelling Hybrid Programs with Event-B., , and . ABZ, volume 12071 of Lecture Notes in Computer Science, page 139-154. Springer, (2020)An Event-B Model of an Automotive Adaptive Exterior Light System., , and . ABZ, volume 12071 of Lecture Notes in Computer Science, page 351-366. Springer, (2020)A formal approach to derive an aspect oriented programming-based implementation of a secure access control filter., , and . Inf. Softw. Technol., (2017)Assessment of a Formal Requirements Modeling Approach on a Transportation System., , , , , and . ICFEM, volume 11852 of Lecture Notes in Computer Science, page 470-486. Springer, (2019)A Proved Approach for Building Correct Instances of UML Associations: Multiplicities Satisfaction., and . APSEC (1), page 438-445. IEEE Computer Society, (2014)Extended Algebraic State-Transition Diagrams., , , and . ICECCS, page 146-155. IEEE Computer Society, (2018)Modeling System Security Rules with Time Constraints Using Timed Extended Finite State Machines., , and . DS-RT, page 173-180. IEEE Computer Society, (2008)Formal Development of a Secure Access Control Filter., , and . HASE, page 173-180. IEEE Computer Society, (2016)