The following publications are possibly variants of this publication:
- 基于Uppaal的实时系统AADL数据流模型的转换与验证 (Transformation and Verification Method of AADL Data Flows for Real-time System Using Uppaal)Ningmin Shen, Jing Li, Haiyang Bai, Yi Zhuang 0002. jsjkx, 43(1):211-217, 2016. [doi]
- Android多窗口系统的研究、设计与实现 (Research, Design and Implementation of Android Multi-window System)Hao Luo, Dan Wang, Luoyuan Xiao, Yu Chen. jsjkx, 44(11):120-124, 2017. [doi]
- 高速实时系统数据采集与传输 (Data Acquisition and Transmission in High Speed Real-time System)Jianzhong Wang, Lu Yang. jsjkx, 43(Z11):604-606, 2016. [doi]
- 带数据约束的概率实时系统的验证 (Validation for Probability Real-time System with Data Constraints)Chunyan Zhang, Jun Sun. jsjkx, 44(Z6):571-574, 2017. [doi]