SDTIOA: Modeling the Timed Privacy Requirements of IoT Service Composition: A User Interaction Perspective for Automatic Transformation from BPEL to Timed Automata
- Gao, H.
- Zhang, Y.
- Miao, H.
- Barroso, R.J.D.
- Yang, X.
ISSN: 1572-8153, 1383-469X
Ano de publicación: 2021
Volume: 26
Número: 6
Páxinas: 2272-2297
Tipo: Artigo