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
Any de publicació: 2021
Volum: 26
Número: 6
Pàgines: 2272-2297
Tipus: Article