IRISA/INRIA Rennes, Prance;
IRISA, ENS Cachan Bretagne Campus de Ker-Lann, F-35170 Bruz, Prance;
School of Information Technology and Engineering (SITE) University of Ottawa 800 King Edward Avenue Ottawa, Ontario, Canada, K1N 6N5;
机译:一种基于测试目的的方法,用于测试定时输入输出自动机
机译:复杂对象测试过程中有限自动机建模的输入输出系统状态评估算法
机译:基于量子点蜂窝自动机纳米技术的串行输入串行输出(SISO)和并联输入并联输出(PIPO)移位寄存器的优化设计
机译:指定为部分订单输入/输出自动机的测试系统
机译:使用泊松随机测试输入来量化神经系统的非线性输入输出转换的互相关方法。
机译:部分体积对静脉输出和动脉输入功能的影响
机译:测试输入/输出偏序自动机