Saleem Vighio

According to our database1, Saleem Vighio authored at least 3 papers between 2010 and 2013.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2013
Model-checking web services business activity protocols.
Int. J. Softw. Tools Technol. Transf., 2013

2011
Modelling and Verification of Web Services Business Activity Protocol.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011

2010
A Formal Analysis of the Web Services Atomic Transaction Protocol with UPPAAL.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010


  Loading...