Design and simulation verification of spaceborne AIS guiding SAR imaging algorithm | IEEE Conference Publication | IEEE Xplore