A type system for formal verification of cyber-physical systems C/C++ software - Manzhos, Yuriy; Sokolova, Yevheniia (Radìoelektronnì ì komp'ûternì sistemi (Online), 2024)
Keywords: cyber-physical systems; dimensional analysis; formal verification; orientational analysis; software quality; type system