...
机译:面向服务的体系结构的测试和正式验证
Department of Computer Science and Engineering Florida Atlantic University, 777 Glades Road Boca Raton, FL 33431, USA;
Department of Computer Science and Engineering Florida Atlantic University, 777 Glades Road Boca Raton, FL 33431, USA;
web services; assurance tradeoffs; semi-formal verification; agent-based testing; model checking;
机译:面向服务的架构,用于整合遗传监管网络的建模和正式验证
机译:面向服务的体系结构中的测试和验证:一项调查
机译:通过面向服务的方法将白盒测试带入面向服务的体系结构
机译:基于面向服务架构的网络物理系统组成成分分析与形式验证
机译:正式验证和测试软件体系结构模型。
机译:一种面向服务的体系结构用于集成遗传监管网络的建模和形式验证
机译:一种面向服务的体系结构,用于集成遗传监管网络的建模和形式验证