退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:具有输入和输出的定时下推自动机的测试生成
Hemdi Hana; Julliand Jacques; Masson Pierre-Alain; Robbana Riadh;
机译:一种基于测试目的的方法,用于测试定时输入输出自动机
机译:建模为定时输入输出自动机的实时系统的测试选择标准
机译:复杂对象测试过程中有限自动机建模的输入输出系统状态评估算法
机译:通过带有输入和输出的定时下推自动机生成测试
机译:通过利用AFD型算法,频域系统识别线性时间不变的单输入单输出二维系统和多输入多输出1维系统
机译:用于软件测试案例生成的实时扩展接口自动机
机译:用于输入/输出自动机建模的规格的测试生成
机译:速度:定时输入/输出自动机形式的工具包
机译:将状态流图语义转换为输入/输出扩展的有限自动机,并为Simulink /状态流图自动生成测试
机译:用于测试具有多个输入和输出的ATM设备的实时流量生成和分析设备
机译:使用输入/输出扩展有限自动机的时间驱动simulink图的语义翻译
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。