退出
我的积分:
中文文献批量获取
外文文献批量获取
宋瑾钰; 魏仰苏;
浙江理工大学信息电子学院;
形式描述技术; SDL语言; PPP协议;
机译:使用SDL进行Web实时通信的信令协议的形式化建模和验证
机译:不断发展的软件开发生命周期(SDLC)新模型(SDLC Model-2010)
机译:改进软件开发生命周期(SDLC)的新模型(SDLC Model-2010)
机译:基于SDL的无线网络中CSMA协议的SDL基于SDL的互操作性和性能测试分析
机译:两种用于分析化学的新仪器:A.用于在流动系统中存在氧气的情况下测定金属的恒定电势脉冲极谱法(CPPP)和差分CPPP(DCPPP); B.基于激光的多功能分析仪器,用于检测喷射冷却的分子种类。
机译:分析在线精确点定位(PPP)服务和PPP软件包中的天顶对流层延迟估计
机译:诺基亚手机的自动测量:基于SDL的软件开发案例
机译:基于定时重写逻辑的sDL规范形式化模型
机译:拉伸和接收织构过程中形成聚酯单胞,织构聚酯单键的方法所采用的形成和缠绕聚酯单胞的方法农业开发音频系统软件开发人员软件开发软件开发软件系统软件开发软件软件开发软件软件开发软件软件开发软件软件开发软件
机译:集成模型设计方法的通信协议开发的SDL-OPnet模型转换方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。