时间后继相关论文
经典的ω-有穷自动机用于系统验证时抽离了时间特性，不适用于研究与物理过程发生交互的系统。时间自动机扩充时间因素于经典ω-有穷......
用时间自动机验证一个有穷状态实时系统的正确性,可归结为判定两个时间正则语言的包含问题,亦可归结为判定两个时间正则语言的交是......
