Просмотр Статті з наукових журналів та збірок по автору "Sokolova, Y."
Отображаемые элементы 1-1 из 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 ...