退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:扩展定时自动机以进行健康定时系统的成分建模
Braberman Víctor; Olivero Alfredo;
机译:建模为定时输入输出自动机的实时系统的测试选择标准
机译:并发理论:用于计算非定时和定时并发系统的计算和自动机
机译:用定时自动机扩展用于道路交通的粒子跳跃模型
机译:具有截止时间的定时自动机的成分翻译为上定时自动机
机译:使用定时扩展有限状态机和扩展定时自动机对定时故障进行建模。
机译:心律对心房组织结构重塑的认识:定时自动机方法
机译:扩展定时自动机以进行健康定时系统的组合建模
机译:验证模拟为定时自动机的混合系统:案例研究。
机译:使用组合的有限时间逻辑和数字约束的用户友好型排序系统,也可扩展到概率约束,用于一段时间内时间间隔的复杂排序优化,也适用于常规建模和灾难性偶数建模
机译:模型切换设置时间计算系统,模型切换设置时间计算方法,模型切换设置时间计算程序以及存储了模型切换设置时间计算程序的存储介质
机译:使用输入/输出扩展有限自动机的时间驱动simulink图的语义翻译
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。