Formal Modeling of Testing Software for Cyber-Physical Automation Systems.
Igor Buzhinsky, Cheng Pang, Valeriy Vyatkin
VenueBTrustCom
Year2015
ProceedingsTrustCom/BigDataSE/ISPA (3)
DBLP recordconf/trustcom/BuzhinskyPV15 ↗
Browse the full TrustCom paper archive.