Перегляд Статті з наукових журналів та збірок за Автором "Manzhos, 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 ...