Formal Modeling of Testing Software for Cyber-Physical Automation Systems

Igor Buzhinsky, Cheng Pang, Valeriy Vyatkin

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

10 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