 |
AIRCC Digital Library |
 |
Internet Computing
IJWSC
ISSN : 0976 - 9811 (Online) ; 2230 - 7702 (print)
volume - 1 - 1
volume - 1 - 2
volume - 2 - 1
volume - 2 - 2
volume - 2 - 3
volume - 2 - 4
volume - 3 - 2
volume - 3 - 3
volume - 3 - 4
volume - 4 - 1
volume - 4 - 2
volume - 4 - 3
volume - 4 - 4
volume - 5 - 1
volume - 5 - 2
volume - 5 - 3
volume - 5 - 4
volume - 6 - 3
volume - 6 - 4
volume - 7 - 1
volume - 9 - 1
volume - 9 - 2
volume - 9 - 3
volume - 9 - 4
volume - 10 - 3
volume - 11 - 1
volume - 11 - 2
| Mapping SCDL/BPEL to ADA for Formal Verification of the Behavioral Properties of Service-Component Architecture |
| Sakka Rouis Taoufik1, Bhiri Mohamed Tahar2 and Kmimech Mourad1, 1University of Tunis El Manar, Tunisia and 2Technological Pole of Sfax, Tunisia |
| Volume : 9 volume number : 1 pdf |