Publications - ReDCAD lab.

Search:

By Year:

All | 2023 | 2022 | 2021 | 2020 | 2019 | 2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1999 | 1998 | 1997 | 1996 | 1995 | 1994 | 1993

by Wael Sellami, Hatem Hadj Kacem, Ahmed Hadj Kacem

Reference:

Wael Sellami, Hatem Hadj Kacem, Ahmed Hadj Kacem, A Formal Approach for the Validation of Web Service Orchestrations, In International Journal of Web Portals (IJWP), volume 5, 2013.

Bibtex Entry:

@article{SellamiKK13,
  author    = {Wael Sellami and
               Hatem Hadj Kacem and
               Ahmed Hadj Kacem},
  title     = {{A Formal Approach for the Validation of Web Service Orchestrations}},
  journal   = {International Journal of Web Portals (IJWP)},
  volume    = {5},
  number    = {1},
  year      = {2013},
  pages     = {41-54},
  doi        = {10.4018/jwp.2013010104},
}

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

Research Center for Computer Science, Multimedia and Digital Data Processing of Sfax, Send an Email
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