| ReDCAD laboratory | ENIS | University of Sfax | | My vCard |
| Research Unit on Development and Control of Distributed Applications | |
| ReDCAD laboratory | ENIS | University of Sfax | | My vCard |
| Research Unit on Development and Control of Distributed Applications | |
| International Journals Articles |
| International Conferences Papers |
| Edited Journals and Proceedings |
| PhD Thesis |
| M. Jmaiel. Development of Communication Protocols with Algebraic-Temporal Specifications. PhD thesis, Department of Computer Science, Technical University of Berlin, 1996. [ BibTeX | PDF ] |