Keep It Small, Keep It Real: Efficient Run-time Verification of Web Service Compositions

Rapport de recherche externe (Rapports)

Baresi, Luciano; BIANCULLI, Domenico; Guinea, Sam et al.

2009

Permalien
https://hdl.handle.net/10993/8459

bbgs-forte2009-TR.pdf

Postprint Auteur (483.6 kB)

Tous les documents dans ORBilu sont protégés par une licence d'utilisation.

Disciplines :

Sciences informatiques

Auteur, co-auteur :

Baresi, Luciano

BIANCULLI, Domenico ; Università della Svizzera italiana

Guinea, Sam

Spoletini, Paola

Langue du document :

Anglais

Titre :

Keep It Small, Keep It Real: Efficient Run-time Verification of Web Service Compositions

Date de publication/diffusion :

2009

Maison d'édition :

Politecnico di Milano - Dipartimento di Elettronica e Informazione

N° de rapport :

2009.9

Disponible sur ORBilu :

depuis le 14 octobre 2013

Nombre de vues

79 (dont 2 Unilu)

Nombre de téléchargements

101 (dont 0 Unilu)