Testing Transition Systems with Input and Output Testers

机译：使用输入和输出测试器测试过渡系统

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

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

著录项

作者
Alexandre Petrenko; Nina Yevtushenko; Jia Le Huo;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Overcoming controllability problems in distributed testing from an input output transition system [J] . Robert M. Hierons Distributed Computing . 2012,第1期

机译：从输入输出转换系统克服分布式测试中的可控性问题
2. Generation of complete test suites from Mealy input/output transition systems [J] . Prahladavaradan Sampath Computing reviews . 2016,第11期

机译：从Mealy输入/输出转换系统生成完整的测试套件
3. Generation of complete test suites from mealy input/output transition systems [J] . Paiva Sofia Costa, Simao Adenilso Formal Aspects of Computing . 2016,第1期

机译：从粉状输入/输出转换系统生成完整的测试套件
4. Testing Transition Systems with Input and Output Testers [C] . Alexandre Petrenko, Nina Yevtushenko, Jia Le Huo Testing of Communicating Systems . 2003

机译：使用输入和输出测试器测试过渡系统
5. Cross-correlation methods for quantification of nonlinear input-output transformations of neural systems using a Poisson random test input. [D] . Scaringe, William Anthony. 1995

机译：使用泊松随机测试输入来量化神经系统的非线性输入输出转换的互相关方法。
6. Prevalence and risk factors of gastrointestinal parasitic infections in goats in low-input low-output farming systems in Zimbabwe [O] . P.I. Zvinorova, T.E. Halimani, F.C. Muchadeyi, -1

机译：津巴布韦低投入低产出耕作系统中山羊胃肠道寄生虫感染的发生率和危险因素
7. Model-Based Testing from Input Output Symbolic Transition Systems Enriched by Program Calls and Contracts [O] . Boudhiba, Imen, Gaston, Christophe, Gall, Pascale,, 2015

机译：从程序调用和合同丰富的输入输出符号转换系统进行基于模型的测试
8. Input/Output Module for a Tester System [R] . Nguyen, J. T. 1996

机译：测试仪系统的输入/输出模块

Testing Transition Systems with Input and Output Testers

著录项

引文网络

相似文献

相关主题

期刊订阅