退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:使用事件B细化和证明的sTpa的正式,系统方法
Colley John; Butler Michael;
机译:运行时Web服务补偿:使用基于Event-B提炼和证明的形式化方法进行形式化建模和验证
机译:混合事件-B中小型飞机燃油泵系统的建模,形式完善和划分策略
机译:通过基于证明的细化对医疗系统进行正式规范
机译:一种使用事件B改进和证明的STPA正式系统方法
机译:形式化和改进正式的折衷软件开发方法
机译:使用Event-B对不精确的系统要求进行形式化分析
机译:持续行为的处理细化:事件-B的证明方法
机译:一种基于热效应来系统分析片上光网络(ONoC)性能的正式方法
机译:为了防止伪造支票和其他具有正式资格的证据,精制计算机打印机的机头,通常用针或冲头刺穿点的中心。
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。