SDTIOA: Modeling the Timed Privacy Requirements of IoT Service Composition: A User Interaction Perspective for Automatic Transformation from BPEL to Timed Automata

  1. Gao, H.
  2. Zhang, Y.
  3. Miao, H.
  4. Barroso, R.J.D.
  5. Yang, X.
Revista:
Mobile Networks and Applications

ISSN: 1572-8153 1383-469X

Año de publicación: 2021

Volumen: 26

Número: 6

Páginas: 2272-2297

Tipo: Artículo

DOI: 10.1007/S11036-021-01846-X GOOGLE SCHOLAR