Digital beamforming techniques applied to satellite-based AIS receiver | IEEE Journals & Magazine | IEEE Xplore