机译:将SysML状态机图的转换规则转换为CSP#,以进行正式模型检查
机译:将系统思维过渡到基于模型的系统工程:从系统图到SysML模型
机译:系统建模语言(SySML)在系统工程设计过程中的认知工作分析中的应用
机译:用于实时系统建模的SysML内部框图的形式验证
机译:在基于模型的系统工程方法中,在基于模型的系统工程方法中展示了在基于模型的系统工程方法中展示了在CubeSats中实现的空间情境感知系统中描述的标准方法
机译:通过正式的Ni催化的烷基硼构建拥挤的CSP3-CSP3键
机译:使用系统建模语言(SysML)分析系统系统的系统工程方法论