退出
我的积分:
中文文献批量获取
外文文献批量获取
肖琚;
无;
实时控制软件; 程序设计; 验证;
机译:使用随机先占时间Petri网的实时系统的正确性验证和性能分析
机译:使用形式化模式验证和验证汽车控制软件的工具集
机译:基于假设建模和验证用例的仿真对自动化工厂控制软件进行早期验证
机译:用于生产传输控制的硬件循环测试台控制软件质量验证传输控制软件质量验证
机译:实时控制软件的面向对象需求分析和设计:一个案例研究。
机译:基于线性二次调节器的遗传算法设计穿浪双体船运动实时控制软件平台
机译:实时控制软件的正确性保持综合
机译:用于ada实时控制软件快速原型设计的应用程序生成器
机译:通过带锁设备对产品序列号进行验证来验证产品真实性的真实性验证系统,该系统可以生成新数据库并根据信息泄漏的正确性和出现的方式验证更新的真实性
机译:考试题集的用法为空,用于验证传感器和考试题集,可以验证答案的正确性
机译:物联网设备控制软件的验证装置及其验证方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。