退出
我的积分:
中文文献批量获取
外文文献批量获取
郭丽娟; 胡军; 张剑;
南京航空航天大学信息科学与技术学院 南京 210016;
南京大学计算机软件新技术国家重点实验室 南京 210093;
嵌入式软件设计; UML交互概观图模型; 接口自动机; 即时验证算法; 形式化验证工具;
机译:精确的基于云的智能IMT测量,颈动脉超声中的验证和中风风险分层:用于多中心临床试验的基于Web的即时医疗工具
机译:设计人员的软件工具-基于计算机的声学验证:轻质混凝土行业的新辅助工具
机译:交互式单元启动过程的开发和验证作为在NVNPP执行员信息支持系统的软件工具中的软件工具
机译:用于验证,验证和实时关键软件的验证,验证和认证的模型,方法和工具概述
机译:基于反馈的测试导师工具的开发与验证支持软件测试教育学
机译:一种经过验证的搜索评估工具:在居住计划中评估基于实践的学习和改进
机译:使用多层软件验证工具的有效软件验证
机译:将基于UmL的形式化规范,验证和验证应用于太空飞行软件和防御软件
机译:自动添加基于RTL的关键时序路径计数器以验证后硅软件验证工具的关键路径覆盖范围的系统和方法
机译:基于统一电话地址获取基于Web的硬件和软件的在线状态,身份验证,验证,授权,通信和交易服务的方法和系统,以及数字证书(dc)的组成,发行和管理提供的方法基于DC和公钥基础结构(PKI)的多层DC分配模型和多个帐户访问
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。