Cyber-Physical System Components Composition Analysis and Formal Verification Based on Service-Oriented Architecture
Peng Wang(Tongji University), Shao Hua Zhang(Institute of Software), Yang Xiang(University of Liverpool)
Cited by 10
Related Papers
A review: Knowledge reasoning over knowledge graph
|Expert Systems with Applications|2019|1k
DRN
|Unknown|2018|633
SNE: Signed Network Embedding
|Lecture notes in computer science|2017|142
QoS-Aware Dynamic Composition of Web Services Using Numerical Temporal Planning
|IEEE Transactions on Services Computing|2012|86