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

12 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
Publication statusPublished - 2015
MoE publication typeA4 Conference publication

Publication series

ISSN (Print)1935-4576

Cite this