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

Igor Buzhinsky Cheng Pang Valeriy 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