退出
我的积分:
中文文献批量获取
外文文献批量获取
Sun Cheng; 孙程; Xing Jianchun; 邢建春; Yang Qiliang; 杨启亮; Han Deshuai; 韩德帅;
中国计算机学会;
自动巡检; 层级时间自动机; 模型检测;
机译:通过时间自动机验证UML时序图
机译:基于时间自动机的马尔可夫模型对森林后土地利用动态模型的校准和验证
机译:具有空间概念的昂贵随机时间自动机的符号验证方法
机译:使用自旋模型检查器对基于时间自动机的混合系统进行建模和验证
机译:硬件设计中控制逻辑的自动形式验证。
机译:Accutens Stetho一种自动听诊设备可验证各个患者的自动血压计读数
机译:使用马尔可夫模型的基于时间自动机的森林后土地利用动态模型的校准和验证:基于马尔可夫模型的基于时间自动机的森林后土地利用动态模型的校准和验证模型
机译:时间自动机无界完全符号模型检验的布尔方法
机译:用于同时命令脉冲和从发射时间自动机系统切换到接收时间自动机的电路,它会干扰多个超声压电换能器
机译:自动巡检设备和自动巡检程序
机译:控制逻辑数据生成设备和控制逻辑验证设备
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。