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
Argitalpen urtea: 2021
Alea: 26
Zenbakia: 6
Orrialdeak: 2272-2297
Mota: Artikulua