电脑体验，效果更佳

XYZADL图谱-自然科学领域：

研究人员

王昇 何亚丽 陈琳琳 张广泉 杨敬中 刘珊艳 张玲红

相关术语

UML 时间自动机 AO-ADL 建模 电梯控制系统 软件体系结构 精化检验 形式化描述

标签云