Automatic dynamic generation of likely invariants for WS-BPEL compositions
- Palomo-Duarte, M.
- García-Domínguez, A.
- Medina-Bulo, I.
ISSN: 0957-4174
Argitalpen urtea: 2014
Alea: 41
Zenbakia: 11
Orrialdeak: 5041-5055
Mota: Artikulua
ISSN: 0957-4174
Argitalpen urtea: 2014
Alea: 41
Zenbakia: 11
Orrialdeak: 5041-5055
Mota: Artikulua