退出
我的积分:
中文文献批量获取
外文文献批量获取
叶俊; 谭庆平; 李暾; 徐建军;
国防科学技术大学计算机学院;
长沙;
410073;
方面化特征模块(AFM); 层次状态机(HSM); 增量式验证; 面向特征编程范式(FOP); 面向方面编程范式(AOP);
机译:最佳好奇心驱动的模块化增量式慢特征分析
机译:生态学中基于个人的模型的面向上下文的模型验证:一种用于验证定性,组成和定量特征的层次结构方法
机译:通过基于风险的生命周期方法来配置,使用和验证模块化良好制造实践 - 符合无关脐带血库的模块化良好制造实践的电子系统的保管链和标识链
机译:模块化有限状态机的模块化验证
机译:用于逻辑控制的模块化有限状态机:理论,验证和可重构制造系统的应用。
机译:通过基于风险的生命周期方法来配置使用和验证模块化良好制造规范的无关联脐带血库电子系统的产销监管链和身份链
机译:ada编译器验证摘要报告:证书编号:950511W1.11382。 TexasInstruments,Incorporated。 F-16模块化任务计算机ada编译系统,版本2.5.01。 VaX / Vms下的VaXstation 4000/90,V5.5-2H4 => F-16模块化任务计算机(
机译:模块化建筑结构,具有两个层次,并具有众多的建筑特征
机译:用于基于Web的全面个人健康记录平台的方法和软件,可强制执行用户权限的个性化患者层次结构并检测患者护理方面的差距
机译:基于deBruijn图的模块化层次分解的大约束长度高速维特比解码器
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。