Automatic dynamic generation of likely invariants for WS-BPEL compositions

  1. Palomo-Duarte, M.
  2. García-Domínguez, A.
  3. Medina-Bulo, I.
Revista:
Expert Systems with Applications

ISSN: 0957-4174

Any de publicació: 2014

Volum: 41

Número: 11

Pàgines: 5041-5055

Tipus: Article

DOI: 10.1016/J.ESWA.2014.01.037 GOOGLE SCHOLAR