Author Info
Name
Affiliation
Papers
MOHAMED KARAA
Univ Sfax, ReDCAD Lab, Sfax, Tunisia
2
Collaborators
Citations 
PageRank 
4
1
0.68
Referers 
Referees 
References 
3
40
23
Title
Citations
PageRank
Year
CDLVT: A Formal Verification Tool of Non-functional Properties for WS-CDL Specification00.342015
A Service-Oriented Architecture (Soa) Framework For Choreography Verification10.342015