Takuan: A dynamic invariant generation system for WS-BPEL compositions
- Palonio-Duarte, M.
- García-Domínguez, A.
- Medina-Bulo, I.
Actes de conférence:
Proceedings of the 6th IEEE European Conference on Web Services, ECOWS'08
ISBN: 9780769533995
Année de publication: 2008
Pages: 63-72
Type: Communication dans un congrès