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

T. V. Lyakh, V. E. Zyubin, N. O. Garanina

Research output: Contribution to journalArticlepeer-review

3 Citations (Scopus)

Fingerprint Dive into the research topics of 'Automatic Verification of Control Software in Cyber-Physical Systems with Plant Simulators'. Together they form a unique fingerprint.

Physics & Astronomy

General

Life Sciences

Engineering & Materials Science