Sign in

Formal Modeling of Testing Software for Cyber-Physical Automation Systems.

Igor BuzhinskyCheng PangValeriy Vyatkin
Published in: TrustCom/BigDataSE/ISPA (3) (2015)
Keyphrases
  • cyber physical
  • test cases
  • software systems
  • software development
  • social networks
  • source code
  • computer systems
  • physical world