Modeling and Verification of Space-Air-Ground Integrated Networks on Requirement Level Using STeC.

Zhihua Yang, Bo Xiao, Yixiang Chen

Browse the full TASE paper archive.