退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:重型自动机的陆基语义
Marie Fortin; Marcello M. Bonsangue; Jan Rutten;
机译:Buechi和奇偶自动机的Coalgebraic跟踪语义
机译:欧米茄自动机:常规欧米茄语言的合并论观点
机译:混合自动机的语言和模型:基础教子的观点
机译:加权自动机的合并代数语义
机译:摩尔机的凝聚代数自动机和典范模型。
机译:基于广义概率自动机的语义计算形式模型
机译:Buechi和奇偶自动机的代数跟踪语义
机译:核代自动机理论:基本结果
机译:使用输入/输出扩展有限自动机的时间驱动simulink图的语义翻译
机译:将状态流图语义转换为输入/输出扩展的有限自动机,并为Simulink /状态流图自动生成测试
机译:使用输入/输出扩展有限自动机对时间驱动SIMULINK图进行语义翻译
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。