Four-Component Model for Dynamic Verification of Process-Oriented Control Software for Cyber-Physical Systems › Research Explorer

Novosibirsk State University's Research Portal

Four-Component Model for Dynamic Verification of Process-Oriented Control Software for Cyber-Physical Systems

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

DOI

https://doi.org/10.1109/SIBIRCON48586.2019.8958127
Final published version

Original language	English
Title of host publication	SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings
Publisher	Institute of Electrical and Electronics Engineers Inc.
Pages	466-471
Number of pages	6
ISBN (Electronic)	9781728144016
DOIs	https://doi.org/10.1109/SIBIRCON48586.2019.8958127
Publication status	Published - Oct 2019
Event	2019 International Multi-Conference on Engineering, Computer and Information Sciences, SIBIRCON 2019 - Novosibirsk, Russian Federation Duration: 21 Oct 2019 → 27 Oct 2019

Publication series

Name	SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings

Conference

Conference	2019 International Multi-Conference on Engineering, Computer and Information Sciences, SIBIRCON 2019
Country/Territory	Russian Federation
City	Novosibirsk
Period	21.10.2019 → 27.10.2019

Research areas

computer modeling and simulation, control algorithms, control software, cyber-physical systems, dynamic verification, LabVIEW, process-oriented programming

OECD FOS+WOS

1.02 COMPUTER AND INFORMATION SCIENCES
1.01 MATHEMATICS

ID: 28551950