المعهد العالي للفنون و الحرف بسيدي بوزيد - الصفحة الرسمية - إعلام لجميع الطلبة | Facebook
Rihab BEN LAMINE | PhD | Sciences de l'Informatique | Research profile
![PDF] A theorem proving framework for the formal verification of Web Services Composition | Semantic Scholar](https://d3i71xaburhd42.cloudfront.net/c8fb5a0e6388e475639072309d3bc5e62e28c575/13-Figure8-1.png "PDF] A theorem proving framework for the formal verification of Web Services Composition | Semantic Scholar")
PDF] A theorem proving framework for the formal verification of Web Services Composition | Semantic Scholar
The BravoAir adaptable semantic Web service | Download Scientific Diagram
100+ "Ben Lamine" profiles | LinkedIn
Rihab BEN LAMINE | PhD | Sciences de l'Informatique | Research profile
![PDF] A theorem proving framework for the formal verification of Web Services Composition | Semantic Scholar](https://d3i71xaburhd42.cloudfront.net/c8fb5a0e6388e475639072309d3bc5e62e28c575/9-Figure5-1.png "PDF] A theorem proving framework for the formal verification of Web Services Composition | Semantic Scholar")
PDF] A theorem proving framework for the formal verification of Web Services Composition | Semantic Scholar
👌👍 - Dr Aya Malek ep BEN Lamine | Facebook
PDF) Information Retrieval Model Based on Possibilistic Ontology | Mohamed Nazih OMRI and Rihab Ben Lamine - Academia.edu
Rihab BEN LAMINE | PhD | Sciences de l'Informatique | Research profile
Rihab BEN LAMINE | PhD | Sciences de l'Informatique | Research profile
Graph Planning Based Composition For Adaptable Semantic Web Services
Rihab BEN HASSINE | Institut Supérieur de Biotechnologie de Monastir, Monastir | ISBM | Department of Biology | Research profile
👌👍 - Dr Aya Malek ep BEN Lamine | Facebook
Liste Pres TN 21 22 EIM | PDF
![PDF] A theorem proving framework for the formal verification of Web Services Composition | Semantic Scholar](https://d3i71xaburhd42.cloudfront.net/c8fb5a0e6388e475639072309d3bc5e62e28c575/3-Figure1-1.png "PDF] A theorem proving framework for the formal verification of Web Services Composition | Semantic Scholar")
PDF] A theorem proving framework for the formal verification of Web Services Composition | Semantic Scholar
Graph Planning Based Composition For Adaptable Semantic Web Services
![PDF] A theorem proving framework for the formal verification of Web Services Composition | Semantic Scholar](https://d3i71xaburhd42.cloudfront.net/c8fb5a0e6388e475639072309d3bc5e62e28c575/12-Figure7-1.png "PDF] A theorem proving framework for the formal verification of Web Services Composition | Semantic Scholar")
PDF] A theorem proving framework for the formal verification of Web Services Composition | Semantic Scholar
![PDF] A theorem proving framework for the formal verification of Web Services Composition | Semantic Scholar](https://d3i71xaburhd42.cloudfront.net/c8fb5a0e6388e475639072309d3bc5e62e28c575/14-Figure10-1.png "PDF] A theorem proving framework for the formal verification of Web Services Composition | Semantic Scholar")
PDF] A theorem proving framework for the formal verification of Web Services Composition | Semantic Scholar
Rihab BEN LAMINE | PhD | Sciences de l'Informatique | Research profile
Jihene BEN LAMINE | University of Tunis El Manar, Tunis | FST | Biological Sciences Department | Scientific profile
Rihab BEN LAMINE | PhD | Sciences de l'Informatique | Research profile
![PDF] A theorem proving framework for the formal verification of Web Services Composition | Semantic Scholar](https://d3i71xaburhd42.cloudfront.net/c8fb5a0e6388e475639072309d3bc5e62e28c575/11-Figure6-1.png "PDF] A theorem proving framework for the formal verification of Web Services Composition | Semantic Scholar")