Standard

LabVIEW-based automatic verification of process-oriented software. / Liakh, Tatiana; Rozov, Andrei; Zyubin, Vladimir.

2019 International Siberian Conference on Control and Communications, SIBCON 2019 - Proceedings. Institute of Electrical and Electronics Engineers Inc., 2019. 8729596 (2019 International Siberian Conference on Control and Communications, SIBCON 2019 - Proceedings).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

Harvard

Liakh, T, Rozov, A & Zyubin, V 2019, LabVIEW-based automatic verification of process-oriented software. in 2019 International Siberian Conference on Control and Communications, SIBCON 2019 - Proceedings., 8729596, 2019 International Siberian Conference on Control and Communications, SIBCON 2019 - Proceedings, Institute of Electrical and Electronics Engineers Inc., 2019 International Siberian Conference on Control and Communications, SIBCON 2019, Tomsk, Russian Federation, 18.04.2019. https://doi.org/10.1109/SIBCON.2019.8729596

APA

Liakh, T., Rozov, A., & Zyubin, V. (2019). LabVIEW-based automatic verification of process-oriented software. In 2019 International Siberian Conference on Control and Communications, SIBCON 2019 - Proceedings [8729596] (2019 International Siberian Conference on Control and Communications, SIBCON 2019 - Proceedings). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/SIBCON.2019.8729596

Vancouver

Liakh T, Rozov A, Zyubin V. LabVIEW-based automatic verification of process-oriented software. In 2019 International Siberian Conference on Control and Communications, SIBCON 2019 - Proceedings. Institute of Electrical and Electronics Engineers Inc. 2019. 8729596. (2019 International Siberian Conference on Control and Communications, SIBCON 2019 - Proceedings). doi: 10.1109/SIBCON.2019.8729596

Author

Liakh, Tatiana ; Rozov, Andrei ; Zyubin, Vladimir. / LabVIEW-based automatic verification of process-oriented software. 2019 International Siberian Conference on Control and Communications, SIBCON 2019 - Proceedings. Institute of Electrical and Electronics Engineers Inc., 2019. (2019 International Siberian Conference on Control and Communications, SIBCON 2019 - Proceedings).

BibTeX

@inproceedings{702fe5ff56ab48a58f836f73b6165679,
title = "LabVIEW-based automatic verification of process-oriented software",
abstract = "This paper concerns automatic verification of process-oriented control algorithms in cyber-physical systems. We introduce a verification approach based on plant simulator and present an implementation of the approach using on the LabVIEW package and Reflex language translator.",
keywords = "Computer simulation, Control algorithms, Control software, Cyber-physical systems, LabVIEW, Verification",
author = "Tatiana Liakh and Andrei Rozov and Vladimir Zyubin",
note = "Publisher Copyright: {\textcopyright} 2019 IEEE.; 2019 International Siberian Conference on Control and Communications, SIBCON 2019 ; Conference date: 18-04-2019 Through 20-04-2019",
year = "2019",
month = apr,
day = "1",
doi = "10.1109/SIBCON.2019.8729596",
language = "English",
series = "2019 International Siberian Conference on Control and Communications, SIBCON 2019 - Proceedings",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
booktitle = "2019 International Siberian Conference on Control and Communications, SIBCON 2019 - Proceedings",
address = "United States",

}

RIS

TY - GEN

T1 - LabVIEW-based automatic verification of process-oriented software

AU - Liakh, Tatiana

AU - Rozov, Andrei

AU - Zyubin, Vladimir

N1 - Publisher Copyright: © 2019 IEEE.

PY - 2019/4/1

Y1 - 2019/4/1

N2 - This paper concerns automatic verification of process-oriented control algorithms in cyber-physical systems. We introduce a verification approach based on plant simulator and present an implementation of the approach using on the LabVIEW package and Reflex language translator.

AB - This paper concerns automatic verification of process-oriented control algorithms in cyber-physical systems. We introduce a verification approach based on plant simulator and present an implementation of the approach using on the LabVIEW package and Reflex language translator.

KW - Computer simulation

KW - Control algorithms

KW - Control software

KW - Cyber-physical systems

KW - LabVIEW

KW - Verification

UR - http://www.scopus.com/inward/record.url?scp=85068334276&partnerID=8YFLogxK

U2 - 10.1109/SIBCON.2019.8729596

DO - 10.1109/SIBCON.2019.8729596

M3 - Conference contribution

T3 - 2019 International Siberian Conference on Control and Communications, SIBCON 2019 - Proceedings

BT - 2019 International Siberian Conference on Control and Communications, SIBCON 2019 - Proceedings

PB - Institute of Electrical and Electronics Engineers Inc.

T2 - 2019 International Siberian Conference on Control and Communications, SIBCON 2019

Y2 - 18 April 2019 through 20 April 2019

ER -

ID: 20776860