Joint Offloading Selection, Beamforming Design and Resource Allocation for Satellite-Terrestrial Computing | IEEE Conference Publication | IEEE Xplore