Partial CRC-assisted error correction of AIS signals received by satellite | IEEE Conference Publication | IEEE Xplore