Browsing Статті з наукових журналів та збірок by Author "Manzhos, Y."
Now showing items 1-1 of 1
-
A type system for formal verification of cyber-physical systems C/C++ software
Manzhos, Y.; Sokolova, Y. (KhAI, 2024)The subject: This study focuses on improving the quality of Cyber-Physical System (CPS) software by eliminating incorrect usage of units of measurement and orientation in C/C++ programs. Incorrect usage often leads to ...