Abstract: As fiber optic dual-axis hybrid inertial navigation systems (HINS) have been refined and popularized, changes in the operating mechanisms have rendered the ...
Abstract: High-assurance software has become a key goal in modern software development, especially in the design of embedded kernel systems and other fields where high reliability and security are ...