退出
我的积分:
中文文献批量获取
外文文献批量获取
黄山; 黄忠见; 韩柯; 王建伟;
中国人民解放军理工大学指挥自动化学院;
中国电子系统设备工程公司研究所;
西昌卫星发射中心指挥控制中心;
SDL; Model; Checking; 语义转换; SPIN; 模型验证;
机译:基于新的参数屏障内核功能的SDLCP大型内部点方法的复杂性分析与数值实现
机译:基于各种内核功能的支持向量机基于不同内核功能的基于不同内核函数的文本数据的预测模型的开发
机译:评论:基于诊断和基于内核的基于内核混合效果模型与内源性协变量的延伸
机译:关闭开放的SDL系统以使用DTSpin进行模型检查
机译:验证基于SDL的体系结构设计模型:自动生成测试和新的覆盖标准
机译:基于有限元模型的基于有限元模型的新开发的Interspinound工艺装置的生物力学分析
机译:基于定时重写逻辑的sDL规范形式化模型
机译:基于各向异性的扩散模型的微裂纹检查方法,该模型使用可扩展的内核通过消除手指图案来实现,并且可以通过在进行扩散过程之前执行手指图案消除过程来提高生产率和便利性
机译:为了补偿中等距离的耀斑和基于光学邻近校正仿真内核的基于快速模型的相图的集成
机译:spink2突变肽,多核苷酸,载体,细胞,生产spink2突变肽的方法,鉴定与年龄相关的黄斑变性的治疗药物或预防药物,鉴定视网膜保护剂并制备模型兔和视网膜损伤,偶联物,抗体,组成,药物组成和兔视网膜损伤模型。
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。