电脑体验，效果更佳

时间自动机图谱-计算机领域：

研究人员

陈伟 王迤冉 张松年 赵岭忠 张广泉 李俊锋 谢经明 闪虹

相关术语

用例自动执行 时间动作锁 测试用例生成 减法 离散时段演算 UPPAAL 风洞试验 符号状态拆分算法

上位概念

实时系统

标签云