基于时间多栈下推网络的实时系统验证-计算机学报.pdfVIP

第 卷 第 期 计 算 机 学 报 ３９ １１ 　 　　 　　 　　 　　 Ｖｏｌ．３９ Ｎｏ．１１ 年 月 ２０１６ １１ ＣＨＩＮＥＳＥＪＯＵＲＮＡＬＯＦＣＯＭＰＵＴＥＲＳ Ｎｏｖ．２０１６ 　 基于时间多栈下推网络的实时系统验证 １） １） ２） １） １） 钱俊彦 甘鹏程 郭云川 赵岭忠 古天龙 　 　 　 　 １）（桂林电子科技大学广西可信软件