Formal Modeling of Testing Software for Cyber-Physical Automation Systems

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

9 Citations (Scopus)
Original languageEnglish
Title of host publicationIEEE International Symposium on Parallel and Distributed Processing with Applications (IEEE ISPA-15), Helsinki, Finland, August 2022, 2015
Pages301-306
DOIs
Publication statusPublished - 2015
MoE publication typeA4 Article in a conference publication

Publication series

Name
ISSN (Print)1935-4576

Cite this

Buzhinsky, I., Pang, C., & Vyatkin, V. (2015). Formal Modeling of Testing Software for Cyber-Physical Automation Systems. In IEEE International Symposium on Parallel and Distributed Processing with Applications (IEEE ISPA-15), Helsinki, Finland, August 2022, 2015 (pp. 301-306) https://doi.org/10.1109/Trustcom.2015.648