...
机译:在大型分布式系统上基于模型的全局属性测试
Lina - Universite de Nantes, 2 rue de la Houssiniere, BP 92208 44322, Nantes Cedex 03, France;
Departamento de Informatica, Rua Cel. Francisco H. dos Santos, 100 Centro Politecnico, Jardim das Americas - Curitiba - PR, Caixa Postal: 19081, CEP 81531-980, Brazil;
Faculty of Science, Technology and Communication, 6, rue Coudenhove-Kalergi, L-1359 Luxembourg-Kirchberg, Luxembourg;
IRISA Rennes, Campus universitaire de Beaulieu, 263 Avenue du General Leclerc - CS 74205, 35042 RENNES Cedex, France;
IRISA Rennes, Campus universitaire de Beaulieu, 263 Avenue du General Leclerc - CS 74205, 35042 RENNES Cedex, France;
Software testing; Distributed software; Model-based testing;
机译:具有拓扑切换的分布式大型系统的分散式交换模型的预测控制
机译:基于Delta的基于模型的大型系统集成测试
机译:分布式系统功能测试的自动化和智能调度:实践中基于模型的功能测试
机译:基于模型的大型稳态非线性系统的全局优化
机译:一种分布式访问控制机制,用于管理大型信息系统中的知识产权。
机译:比较基因组学揭示了全球分布的铜绿微囊藻(一种淡水形成花的蓝细菌)的多样化CRISPR-Cas系统
机译:基于模型的大规模分布式系统全局属性测试