Back
  1. Home
  2. Profile of Amel MAMMAR (Unilu)
Profil

MAMMAR Amel

Main Referenced Co-authors
GUELFI, Nicolas  (1)
RIES, Benoit  (1)
Main Referenced Keywords
E-Business Processes (1); Formal Verification (1); Uml Activity Diagrams (1); Use Approach (1);
Main Referenced Disciplines
Computer science (1)

Publications (total 1)

The most downloaded
2 downloads
Guelfi, N., Mammar, A., & Ries, B. (2004). A Formal Approach for the Specification and the Verification of UML Structural Properties: Application to E-Business Domain. In International Workshop on Software Verification and Validation (SVV 2004), workshop of ICFEM'04. https://hdl.handle.net/10993/1101

Guelfi, N., Mammar, A., & Ries, B. (2004). A Formal Approach for the Specification and the Verification of UML Structural Properties: Application to E-Business Domain. In International Workshop on Software Verification and Validation (SVV 2004), workshop of ICFEM'04.
Peer reviewed

Contact ORBilu