度量区间时序逻辑论文

论文题目:基于实时规约的测试预言自动生成技术的研究论文类型:博士论文论文专业:计算机科学与技术作者:王馨导师:齐治昌关键词:侧试预言,带接收状态的时间自动机,度量区间时序逻辑,...