机译：用于设计健壮的软件系统和度量的基于组件的系统中的动力学的形式概念框架
机译：用于设计和验证CNC系统的可靠软件的正式规范框架
机译：用于动态更新基于组件的软件系统的强大的重新配置协议
机译：全球创新系统-跨国背景下创新动力的概念框架
机译：下一代国家医疗保健信息网络（NHIN-2）的概念性SOS模型和仿真系统：为健壮，安全，灵活，安全和可靠的医疗保健创建一个以网络为中心，可扩展，上下文感知，动态发现框架
机译：用于开发可信赖系统的基于组件的正式软件工程方法。
机译：动态配置和计算机辅助干预系统的控制基于构件的软件
机译：用于设计和验证计算机数控（CNC）系统的可靠可靠软件的正式规范和验证框架
机译：系统环境下的软件产品框架（第2版）
