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
Datum der Publikation: 2021
Ausgabe: 26
Nummer: 6
Seiten: 2272-2297
Art: Artikel