退出
我的积分:
中文文献批量获取
外文文献批量获取
顾庆; 陈道蓄; 谢立; 韩杰; 孙钟秀;
南京大学;
计算机软件新技术国家重点实验室;
江苏;
南京;
210093;
软件测试; 有限状态进程; 基于规约的测试; 并发程序; 事件约束;
机译:约束有限状态模型类的基于强一致性的基于代码的识别和阶数估计
机译:从行为定义和事件集自动生成并行进程
机译:基于反馈的事件触发控制具有通信约束的分布式进程
机译:基于用户定义的约束,避免热点的SOC测试计划。
机译:基于临床文档架构定义结构约束以开发乳腺癌的结构化手术说明
机译:基于左角语法变换的基于约束的语法的有限状态逼近
机译:基于约束的计算机程序设计语言的定义与实现
机译:用于基于事件内容的文档编辑,生成包括事件内容的各个事件,然后定义一组选定的事件以及响应于处理所述选定的一组事件而为一对多用户生成响应于所述选定事件集的显示演示文稿的系统和方法
机译:在基于容错的并行消息操作系统中,在进程之间以及进程和驱动程序之间高效地传输数据和事件
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。