机译:基于模型定义的用于医疗设备设计和制造的CATIA标准零件库
机译:基于基于模型的CATIA定义,构建航空制动紧固件的标准零件库
机译:基于彩色Petri网模型和标准IEC 1131的逻辑控制器的规范,设计和实现。设计与实施
机译:基于CATIA的航空标准零件知识零件库的设计与实现
机译:基于知识的方法来检查设计是否符合标准
机译:匹兹堡大学基于分子生物学和遗传学的图书馆信息服务的设计和实现
机译:基于SysML的可变性设计使传统系统可重用,以支持各种符合标准的实现或标准更新:电子卫生应用的IEEE-802.15.6标准案例