Browsing Факультет програмної інженерії та бізнесу (№ 6) by Subject "orientational analysis"
Now showing items 1-1 of 1
-
A type system for formal verification of cyber-physical systems C/C++ software
(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 ...