退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:使用TLA +指定和验证系统
Leslie Lamport; John Matthews; Mark Tuttle; Yuan Yu;
机译:使用TLA +自动验证异步通信系统
机译:用TLA +规范和验证Zab协议
机译:关于TLA +的逻辑
机译:使用TLA +的铁路安全关键系统规范和验证:一个案例研究
机译:集合关联回写缓存系统的TLA +规范
机译:研究过程验证的工业方法论(IMPROVER):系统生物学验证
机译:金融产品贸易验证系统程序,金融产品贸易验证系统记录介质,金融产品贸易验证设备,金融产品贸易验证系统以及金融产品贸易验证系统的管理和操作设备
机译:车辆重量的检测方法,对重的验证系统,运行状况自动验证的自动验证系统,强制验证系统,双重检查和闭锁举升系统方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。