电脑体验，效果更佳

交互式用户界面图谱-计算机领域：

研究人员

朱军 张高 孙宁 华庆一 戴国忠 王恒 陈宗海

相关术语

ACTL LOTOS 时序逻辑 图素 GVM 模型检查 形式化方法 工业过程仿真

标签云