Login / Signup

Cyber-Physical System Components Composition Analysis and Formal Verification Based on Service-Oriented Architecture.

Peng WangYang XiangShaohua Zhang
Published in: ICEBE (2012)
Keyphrases
  • formal verification
  • service oriented architecture
  • web services
  • model checking
  • real time
  • service oriented
  • artificial intelligence
  • open source