Login / Signup
Cyber-Physical System Components Composition Analysis and Formal Verification Based on Service-Oriented Architecture.
Peng Wang
Yang Xiang
Shaohua Zhang
Published in:
ICEBE (2012)
Keyphrases
</>
formal verification
service oriented architecture
web services
model checking
real time
service oriented
artificial intelligence
open source