首页> 外文OA文献 >Prototype-Based Tests for Hybrid Reactive Systems

【2h】

Prototype-Based Tests for Hybrid Reactive Systems

机译：混合反应系统的基于原型的测试

页面导航

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

著录项

作者
G. Hahn; J. Philipps; A. Pretschner; T. Stauner;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Annealing studies and oxidation tests of a hybrid multilayer arrangement of cathodic arc evaporated Ti-Al-N and reactively sputtered Ta-Al-N coatings [J] . Koller C. M., Hollerweger R., Rachbauer R., Surface & Coatings Technology . 2015,第Null期

机译：阴极电弧蒸发Ti-Al-N和反应溅射Ta-Al-N涂层的混合多层布置的退火研究和氧化测试
2. Data warehouse testing: A prototype-based methodology [J] . Matteo Golfarelli, Stefano Rizzi Information and software technology . 2011,第11期

机译：数据仓库测试：基于原型的方法
3. A hybrid class- and prototype-based object model to support language-neutral structural intercession [J] . Francisco Ortin, Miguel A. Labrador, Jose M. Redondo Information and software technology . 2014,第2期

机译：基于类和原型的混合对象模型，支持与语言无关的结构代调
4. Prototype-based tests for hybrid reactive systems [C] . Philipps, J., Hahn, . 2003

机译：混合动力系统基于原型的测试
5. The implementation of specification-based testing system for real-time reactive system in TROMLAB framework. [D] . Chen, Minghua. 2003

机译：在TROMLAB框架中为实时反应系统基于规范的测试系统的实现。
6. Human papillomavirus testing in primary cervical screening and the cut-off level for hybrid capture 2 tests: systematic review [O] . Matejka Rebolj, Jesper Bonde, Sisse Helle Njor, 2011

机译：人类乳头瘤病毒在初次宫颈癌筛查中的检测以及混合捕获2检测的临界值：系统综述
7. Probabilistic model checking for hybrid systems with hybrid concolic testing and importance sampling [O] . Pingfan Kong -1

机译：混合系统具有混合调节测试的概率模型及重要性抽样
8. Testing, Generating, and Explaining Control Procedures for Reactive Hybrid Systems: The MARS Project [R] . Fikes, Richard, Iwasaki, Yumi, Bobrow, Daniel G., 1996

机译：测试，生成和解释反应混合系统的控制程序：maRs项目

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号