机译:面向服务的体系结构中的测试和验证:一项调查
Department of Computer Science, University College London, Malet Place, London WC1E6BT, UK;
Department of Computer Science, University College London, Malet Place, London WC1E6BT, UK;
Department of Computer Science, University College London (UCL), Malet Place, London WC1E 6BT, UK;
机译:一个声明性的两级框架,用于指定和验证面向服务的体系结构中的工作流和授权策略
机译:面向服务的架构,用于整合遗传监管网络的建模和正式验证
机译:面向服务的系统的运行时验证:全面的调查
机译:面向服务的架构测试:调查
机译:面向服务的体系结构应用程序的验证框架。
机译:一种面向服务的体系结构用于集成遗传监管网络的建模和形式验证
机译:基于区块链架构的基础的对等服务导向数字货币交易的事务验证模型