退出
我的积分:
中文文献批量获取
外文文献批量获取
蒋昌俊; 阎春钢;
机译:结合Petri网推理和安全油气储运环境的扩展FMEA的设备故障新并发风险识别与分析方法。
机译:使用基于Petri网的安全策略验证并发装配程序
机译:基于Petri网和Stateflow模型的复杂系统并发安全性仿真分析
机译:并发和非并发逻辑程序的高级Petri网语义。
机译:简易商标号1个
机译:并发正则表达式及其与Petri网的关系
机译:使用petri网建立和验证并发ada程序
机译:使用表达式识别和重现多线程程序中并发冲突的方法和系统
机译:管理并发谓词表达式的方法和装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。