电脑体验，效果更佳

蔡斌图谱-航空航天领域：

相关人员

杨惠珍 康凤举 马裕民 任业军 王照林 李磊

研究领域

形式化 时态逻辑 模型校核 时间序列分析 惯性波 旋转充液系统 仿真建模 联邦

所属机构

清华大学工程力学系

标签云