退出
我的积分:
中文文献批量获取
外文文献批量获取
夏薇; 姚益平; 慕晓冬;
国防科学技术大学 计算机学院;
湖南 长沙 410073;
第二炮兵工程大学 计算机系;
陕西 西安 710025;
事件图; 事件时态逻辑; 模型检验; Büchi自动机; 转换;
机译:超越根本原因分析:面向系统的丰富的面向事件的事件分析模型
机译:具有线性时间时态逻辑规范的离散事件系统的重复故障诊断
机译:在广义时态逻辑中验证一类不确定的离散事件系统
机译:离散时间基于事件的模型的流畅时态逻辑
机译:逻辑离散事件系统的建模环境的面向对象GUI设计。
机译:二进制逻辑预测模型的样本量:每个事件之外的事件可变标准
机译:用模型检验方法查询语义图的时态逻辑
机译:区间时态逻辑中的动作和事件
机译:模型图创建装置,模型图创建方法,模型图创建程序以及用于模型图创建的状态事件表的数据结构
机译:离散事件模型的可编程逻辑控制器梯形图制作方法及其装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。