IEEE - Institute of Electrical and Electronics Engineers, Inc. - Modeling and Verification of Space-Air-Ground Integrated Networks on Requirement Level Using STeC

2015 9th International Symposium on Theoretical Aspects of Software Engineering (TASE)

Author(s): Zhihua Yang ; Bo Xiao ; Yixiang Chen
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 September 2015
Conference Location: Nanjing, China
Conference Date: 12 September 2015
Page(s): 131 - 134
ISBN (Electronic): 978-1-4673-7612-9
DOI: 10.1109/TASE.2015.8
Regular:

This paper introduces a domain Spatio-Temporal Consistency (STeC) language for the application domain of space-air-ground integrated networks. The STeC language is taken as the foundation of... View More

Advertisement