Abstraction; Compatibility verification; HIA-ILT; HPSM; Hierarchy; SysML;
机译:SysML模型驱动的方法来验证块兼容性
机译:基于SysML和接口自动机的组件装配形式验证
机译:基于SysML和接口自动机的组件装配形式验证
机译:使用分层接口自动机的Sysml块的兼容性验证
机译:基于UML和SysML的系统工程设计模型的验证和确认。
机译:使用增强的堆栈自动机模型的Web服务组合的验证策略
机译:验证接口和生成接口控制文档,用于从Sysml中的系统模型从系统模型到三十米望远镜的对准和分阶段子系统