机译:验证接口和生成接口控制文档,用于从Sysml中的系统模型从系统模型到三十米望远镜的对准和分阶段子系统
机译:三十米望远镜对准的可行性研究
机译:具有用户界面的抽象系统子系统的代数模型
机译:基于SysML和接口自动机的组件装配形式验证
机译:从SysML中的系统模型验证接口并为30米望远镜的对准和定相子系统生成接口控制文档
机译:三十米望远镜对准的可行性研究
机译:大型天气观测望远镜的望远镜安装组件子系统的3D测量仿真和相对指向误差验证
机译:30米望远镜进行系统贸易分析的波前传感与控制性能建模
机译:用于战斗训练中心的数据通信接口/检测设备接口的接口控制文件 - 仪表系统(CTC-Is)ICD修订版E.1。