@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",
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",
note = "2019 International Siberian Conference on Control and Communications, SIBCON 2019 ; Conference date: 18-04-2019 Through 20-04-2019",
}