退出
我的积分:
中文文献批量获取
外文文献批量获取
范洪达; 叶文;
海军航空工程学院军械工程系 海军航空工程学院学员旅;
烟台;
264001;
Time; Petri网; 实时软件:测试方案;
机译:基于Time Petri网络模型的实时软件在线测试方法
机译:柔性制造系统的通用Petri网模型及其在FMS控制软件测试中的用途
机译:使用Time Petri网和实时时间逻辑指定和验证实时系统
机译:软实时系统中的过载处理:使用ROOM / ObjecTime的案例研究。
机译:用于软件测试案例生成的实时扩展接口自动机
机译:应用Timed-arc petri网来提高mpEG-2编码算法的性能
机译:petri网在实时军事系统软件安全性分析中的实际应用
机译:国内应用18-甲基-15β,16β-亚甲基-19-NOR-20-SPIROX-4-EN-3-ONOV,包含18-甲基-15β,16β-亚甲基-19-NOR-20-SPIRO1的相似体系4-EN-3-ONE,及其在妇科疾病的治疗和避孕中的应用
机译:18-甲基-15β,16β-亚甲基-19-nor-20-spiroxa-4-en-3-one在治疗痛经中的应用和18-甲基-15β,16β在治疗子宫出血性疾病中的应用亚甲基-19-nor-20-spiroxa-4-en-3-one
机译:甾体衍生物20-异腈17(20)-不饱和化合物,其制备方法及其在制备sterioidi 17alfa中的应用-idrcssi-20-酮
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。