Symbolic model checking composite Web services using operational and control behaviors

Jamal Bentahar, Hamdi Yahyaoui, Melissa Kova, Zakaria Maamar

Research output: Contribution to journalArticlepeer-review

44 Scopus citations

Fingerprint

Dive into the research topics of 'Symbolic model checking composite Web services using operational and control behaviors'. Together they form a unique fingerprint.

Computer Science

Engineering