Automatic Verification of Control Software in Cyber-Physical Systems with Plant Simulators

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	189-197
Number of pages	9
Journal	Optoelectronics, Instrumentation and Data Processing
Volume	55
Issue number	2
DOIs	https://doi.org/10.3103/S8756699019020110
Publication status	Published - 1 Mar 2019

control software, cyber-physical systems, plant simulators, process-oriented programming, verification

ID: 20591454