Rihab Ben Lamine

Publication Activity (10 Years)

Years Active: 2017-2018
Publications (10 Years): 3

Top Topics

Specification Languages

Formal Verification

Semantic Descriptions

Top Venues

Int. J. Inf. Technol. Web Eng.

Publications

Rihab Ben Lamine, Raoudha Ben Jemaa, Ikram Amous Ben Amor
Formal Specification of Adaptable Semantic Web Services Composition. Int. J. Inf. Technol. Web Eng. 13 (4) (2018)
Rihab Ben Lamine, Raoudha Ben Djemaa, Ikram Amous
A Framework for the composition and formal verification of adaptable semantic Web services. MoMM (2018)
Rihab Ben Lamine, Raoudha Ben Jemaa, Ikram Amous Ben Amor
Graph Planning Based Composition For Adaptable Semantic Web Services. KES (2017)