Arizona State University.;
机译:一个声明性的两级框架,用于指定和验证面向服务的体系结构中的工作流和授权策略
机译:面向服务的体系结构中的测试和验证:一项调查
机译:面向服务的架构,用于整合遗传监管网络的建模和正式验证
机译:用于编排验证的面向服务的体系结构(SOA)框架
机译:面向服务的体系结构,用于集成生物信息数据和应用程序。
机译:一种面向服务的体系结构用于集成遗传监管网络的建模和形式验证
机译:基于区块链架构的基础的对等服务导向数字货币交易的事务验证模型