ReDCAD laboratory   |  ENIS   |  University of Sfax  

Research Unit of Development and Control of
Distributed Applications (ReDCAD)
05/UR/14-03, National School of Engineering of Sfax, University of Sfax

Research
Join ReDCAD
Useful Informations
 
Publications: Technical Reports

International Journals Articles

Books

International Conferences Papers

Technical Reports

Theses

Masters

Technical Reports

[1] R. BEN HALIMA, K. DRIRA, K. GUENNOUN, and R. PEGORARO. Specification of execution mechanisms and composition strategies for self-healing Web services. Phase 2. Deliverable D3.2. Contract reports, 64p., 2008. Projet IST WS-DIAMOND N Â° 516933. [ BibTeX | PDF ]
[2] R. BEN HALIMA, K. DRIRA, K. GUENNOUN, and F.J. MOO-MENA. Specification of execution mechanisms and composition strategies for self-healing Web services. Phase 1. Contract reports, 102p., 2007. Projet IST WS-DIAMOND N°516933. [ BibTeX | PDF ]
[3] M. Jmaiel. Specifying communication protocols with temporal logic. Technical Report 94/16, Technische Universität Berlin, Fachbereich Informatik, Jan. 1994. [ BibTeX ]