Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

JLP
2011

favoriteEmaildiscussreport

85views more JLP 2011»

Validation and verification of Web services choreographies by using timed automata

12 years 11 months ago

Validation and verification of Web services choreographies by using timed automata

Download investigacion.uclm.es

María-Emilia Cambronero, Gregorio Dí

Real-time Traffic

JLP 2011 |

claim paper

Related Content

» Leveraging Eclipse for integrated modelbased engineering of web service compositions

» Automatic Translation of WSCDL Choreographies to Timed Automata

» ModelBased Analysis of Obligations in Web Service Choreography

» AutomataBased Verification of Security Requirements of Composite Web Services

» A First Order Logic Security Verification Model for SIP

» Crawling multiple UDDI business registries

Post Info
More Details (n/a)

Added	14 May 2011
Updated	14 May 2011
Type	Journal
Year	2011
Where	JLP
Authors	María-Emilia Cambronero, Gregorio Díaz, Valentin Valero, Enrique Martínez

Comments (0)