Opening book details…
About this scholarly article
2015 IEEE Trustcom/BigDataSE/ISPA - Formal Modeling of Testing Software for Cyber-Physical Automation Systems by Buzhinsky, Igor; Pang, Cheng; Vyatkin, Valeriy is a scholarly article available to read on EtoBox.
- Author
- Buzhinsky, Igor; Pang, Cheng; Vyatkin, Valeriy
- Publisher
- IEEE
- Published
- 2015
- Language
- EN
More by Buzhinsky, Igor; Pang, Cheng; Vyatkin, Valeriy
Browse all works by Buzhinsky, Igor; Pang, Cheng; Vyatkin, Valeriy