A Verification Method for The Correctness of Individual Format of Navigation Data Based on Self-checking | IEEE Conference Publication | IEEE Xplore