度量区间时序逻辑相关论文
在国民经济与国防现代化建设中,计算机软件在日常生活中的应用越来越普及,软件可靠性问题日趋受到人们的重视,尤其对于一些安全关......
实时系统目前已广泛应用于工业、军事和民用高科技的各个领域，其中，航空航天、医疗监控、军事指挥和武器装备控制等领域对实时系统的......
