Bhiri Mohamed Tahar

affiliation not provided to SSRN

Learn more about SSRN Profiles

SCHOLARLY PAPERS

1

DOWNLOADS

68

TOTAL CITATIONS

0

Feedback

Scholarly Papers (1)

Sort by:

Actions:

View:
Selected
Original List
All Versions Hide All Versions
All Abstracts Hide All Abstracts

(Rank)

1.

Mapping SCDL/BPEL to ADA for Formal Verification of the Behavioral Properties of Service-Component Architecture

Downloads 68 (580,653)

1

Mapping SCDL/BPEL to ADA for Formal Verification of the Behavioral Properties of Service-Component Architecture

International Journal on Web Service Computing (IJWSC), Vol.9, No.1, March 2018

Number of pages: 14 Posted: 11 Jun 2019

Taoufik Sakka Rouis, Bhiri Mohamed Tahar and Kmimech Mourad

Tunis El Manar University - Faculty of Sciences of Tunis (FST), affiliation not provided to SSRN and Tunis El Manar University

Downloads 68 (903,821)

Abstract:

Feedback

All content on this site: Copyright © 2026 Elsevier Inc., its licensors, and contributors. All rights are reserved, including those for text and data mining, AI training, and similar technologies. For all open access content, the relevant licensing terms apply.

We use cookies to help provide and enhance our service and tailor content.

To learn more, visit .