Prof. Dr.-Ing. Ahmed Hadj Kacem
DBLP

The list of publications of Prof. Dr. Ahmed Hadj Kacem


by Sirine Rebai, Hatem Hadj Kacem, Mohamed Karaa, Saúl E. Pomares Hernández, Ahmed Hadj Kacem
Reference:
Sirine Rebai, Hatem Hadj Kacem, Mohamed Karaa, Saúl E. Pomares Hernández, Ahmed Hadj Kacem, CDLVT: A Formal Verification Tool of Non-functional Properties for WS-CDL Specification, In 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE, 2015.
Bibtex Entry:
@inproceedings{RebaiKKHK152,
  author    = {Sirine Rebai and Hatem Hadj Kacem and Mohamed Karaa and Sa{\'{u}}l E. Pomares Hern{\'{a}}ndez and Ahmed Hadj Kacem},
  title     = {{CDLVT:} {A} Formal Verification Tool of Non-functional Properties
               for {WS-CDL} Specification},
  booktitle = {24th {IEEE} International Conference on Enabling Technologies: Infrastructure
               for Collaborative Enterprises, {WETICE}},
  pages     = {191--196},
  year      = {2015},
  doi       = {10.1109/WETICE.2015.14},
}


ReDCAD


National School of Engineering of Sfax
www.enis.rnu.tn

University of Sfax, Tunisia
www.uss.rnu.tn

Contact


Prof. Dr. Eng. Mohamed Jmaiel

Email: mohamed.jmaiel@enis.rnu.tn
Web: www.redcad.org/members/jmaiel
Phone: +216 74 666 578

Address


National School of Engineers of Sfax
Department of Computer Science and Applied Mathematics
ReDCAD Laboratory
B.P. 1173, 3038 Sfax, Tunisia