科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:Petri网在实时军事系统软件安全分析中的实际应用。
Hayward Duston L.;
机译:NUREG / CR-6430软件安全危险分析对FPGA软件的实际应用
机译:时间约束Petri网及其在实时系统规范可调度性分析中的应用
机译:基于Petri网的实时控制软件开发方法
机译:基于Petri网S不变量的软件安全分析方法
机译:基于结构化PETRI NET模型(性能,PETRI NET)的分布式系统软件设计分析
机译:基于Petri网的分析技术在信号转导途径中的应用
机译:Petri Net和故障树分析:结合两种技术对嵌入式军事应用程序进行软件安全性分析
机译:用于获得对软件平台的类型访问的安全性,用于软件应用程序生成软件应用程序以及用于软件应用程序的类型访问安全性,对软件平台进行安全访问的方法和计算机程序
机译:可验证的确定性系统软件框架,用于具有多核处理器的航空电子系统中的硬实时安全关键应用
机译:可验证的确定性系统软件框架,在采用多核处理器的航空电子系统中进行实时,严格的安全关键应用
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。