Formal Modeling of Testing Software for Cyber-Physical Automation Systems

Igor Buzhinsky; Cheng Pang; Valeriy Vyatkin

doi:10.1109/Trustcom.2015.648

Formal Modeling of Testing Software for Cyber-Physical Automation Systems

Igor Buzhinsky, Cheng Pang, Valeriy Vyatkin

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference article in proceedings › Scientific › vertaisarvioitu

12 Sitaatiot (Scopus)

Alkuperäiskieli	Englanti
Otsikko	IEEE International Symposium on Parallel and Distributed Processing with Applications (IEEE ISPA-15), Helsinki, Finland, August 2022, 2015
Sivut	301-306
DOI - pysyväislinkit	https://doi.org/10.1109/Trustcom.2015.648
Tila	Julkaistu - 2015
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisussa

Julkaisusarja

Nimi
ISSN (painettu)	1935-4576

Pääsy asiakirjaan

10.1109/Trustcom.2015.648

Siteeraa tätä

@inproceedings{1c6cd13f2c7d45cb8aca09d040f872a7,

title = "Formal Modeling of Testing Software for Cyber-Physical Automation Systems",

author = "Igor Buzhinsky and Cheng Pang and Valeriy Vyatkin",

year = "2015",

doi = "10.1109/Trustcom.2015.648",

language = "English",

pages = "301--306",

booktitle = "IEEE International Symposium on Parallel and Distributed Processing with Applications (IEEE ISPA-15), Helsinki, Finland, August 2022, 2015",

}

Formal Modeling of Testing Software for Cyber-Physical Automation Systems. / Buzhinsky, Igor; Pang, Cheng; Vyatkin, Valeriy.
IEEE International Symposium on Parallel and Distributed Processing with Applications (IEEE ISPA-15), Helsinki, Finland, August 2022, 2015. 2015. s. 301-306.

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference article in proceedings › Scientific › vertaisarvioitu

TY - GEN

T1 - Formal Modeling of Testing Software for Cyber-Physical Automation Systems

AU - Buzhinsky, Igor

AU - Pang, Cheng

AU - Vyatkin, Valeriy

PY - 2015

Y1 - 2015

U2 - 10.1109/Trustcom.2015.648

DO - 10.1109/Trustcom.2015.648

M3 - Conference article in proceedings

SP - 301

EP - 306

BT - IEEE International Symposium on Parallel and Distributed Processing with Applications (IEEE ISPA-15), Helsinki, Finland, August 2022, 2015

ER -