...
机译:直线计划:一项实用测试(扩展摘要)
Institute for Mathematics and Computer Sciences, Ural State University, Ekaterinburg, Russia;
Institute for Mathematics and Computer Sciences, Ural State University, Ekaterinburg, Russia;
Institute for Mathematics and Computer Sciences, Ural State University, Ekaterinburg, Russia;
Institute for Mathematics and Computer Sciences, Ural State University, Ekaterinburg, Russia;
机译:一种测试直线程序压缩的字符串的平方自由度的有效算法
机译:扩展摘要:用PARSL生产并行编程
机译:使用数字输入将抽象加速方法扩展到数据流程序
机译:直线程序:实用测试
机译:一种扩展的基于CSPE的方法,用于对并发程序进行基于规范的测试。
机译:改善与自残患者的合作中的沟通和实践技能:对培训计划效果的测试前/测试后研究
机译:直线程序:实际测试(扩展摘要)
机译:扩展摘要:管理实际时间推理的分离