GPS-based ionospheric tomography with constrained IRI as a regularization | IEEE Conference Publication | IEEE Xplore