首页> 外文OA文献 >Optimal strategies for testing nondeterministic systems

【2h】

Optimal strategies for testing nondeterministic systems

机译：测试非确定性系统的最优策略

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Lev Nachmanson; Margus Veanes; Wolfram Schulte; Nikolai Tillmann; Wolfgang Grieskamp;
展开▼
作者单位

展开▼
年度 2004
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Optimal Strategies for Testing Nondeterministic Systems [J] . Lev Nachmanson, Margus Veanes, Wolfram Schulte, Software Engineering Notes . 2004,第4期

机译：测试不确定性系统的最佳策略
2. Optimal staggered testing strategies for heterogeneously redundant safety systems [J] . Yiliu Liu Reliability Engineering & System Safety . 2014,第juna期

机译：异构冗余安全系统的最佳交错测试策略
3. Optimal strategies for identifying kidney disease in diabetes: properties of screening tests, progression of renal dysfunction and impact of treatment systematic review and modelling of progression and cost-effectiveness [J] . Farmer?A J, Stevens?R, Hirst?J, Health technology assessment: HTA . 2014,第14期

机译：识别糖尿病肾脏疾病的最佳策略：筛查试验的性质，肾功能不全的进展以及治疗的影响系统评价以及进展和成本效益模型
4. Optimal strategies for testing nondeterministic systems [C] . Lev Nachmanson, Margus Veanes, Wolfram Schulte, ACM SIGSOFT international symposium on Software testing and analysis . 2004

机译：测试不确定性系统的最佳策略
5. Optimal Strategies in "Locks, Bombs and Testing" (LBT) Problem for the Case of Independent Protection [D] . Liu, Li. 2019

机译：独立保护情况下“锁，炸弹和测试”（LBT）问题的最佳策略
6. Optimal strategies for identifying kidney disease in diabetes: properties of screening tests progression of renal dysfunction and impact of treatment - systematic review and modelling of progression and cost-effectiveness. [O] . Andrew J Farmer, Richard Stevens, Jennifer Hirst, -1

机译：识别糖尿病肾脏疾病的最佳策略：筛查测试的性质肾功能不全的进展和治疗的影响-进展和成本效益的系统评价和建模。
7. Optimal strategies for identifying kidney disease in diabetes: properties of screening tests, progression of renal dysfunction and impact of treatment - systematic review and modelling of progression and cost-effectiveness. [O] . Farmer, AJ, Stevens, R, Hirst, J, 2014

机译：识别糖尿病肾脏疾病的最佳策略：筛查测试的性质，肾功能不全的进展和治疗的影响-进展和成本效益的系统评价和建模。

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号