Interoperability; Integration; Network topology; Computer programs; Integrated systems;
机译:软件架构设计的正式安全性分析:新兴建筑风格的表现力框架
机译:用于设计多主体系统的正式架构风格
机译:建模和验证发布/订阅建筑风格行为的正式方法
机译:IEC61499作为在实际控制工程中集成正式模型和方法的建筑框架
机译:正式设计分析框架:面向方面的架构框架。
机译:一种面向服务的体系结构用于集成遗传监管网络的建模和形式验证
机译:用于设计多种代理系统的正式架构风格