Formal Modeling of Testing Software for Cyber-Physical Automation Systems

Igor Buzhinsky, Cheng Pang, Valeriy Vyatkin

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

10 Sitaatiot (Scopus)
AlkuperäiskieliEnglanti
OtsikkoIEEE International Symposium on Parallel and Distributed Processing with Applications (IEEE ISPA-15), Helsinki, Finland, August 2022, 2015
Sivut301-306
DOI - pysyväislinkit
TilaJulkaistu - 2015
OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa

Julkaisusarja

Nimi
ISSN (painettu)1935-4576

Siteeraa tätä