有序时段性质相关论文
实时系统是指那些严格要求对外部的输入及时做出回应的系统.由于许多实时系统是高安全性系统,所以近几十年来,实时系统的模型验证......
模型检验是一种被广泛应用于对设计或系统正确性进行自动验证的技术.实时系统的性质包括瞬间性质和时段性质,显然后者的检验要比前......