退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:从形式规范自动合成控制器
Enrico Tronci;
机译:根据正式规范合成的自动编码飞行软件混合控制器
机译:满足灵敏度要求的MIMO控制器的自动环路整形
机译:通过时态逻辑中的计算机演绎形式对嵌入式逻辑控制器规范进行形式验证
机译:根据正式规格自动合成控制器
机译:根据交易数据路径规范自动进行管道综合和形式验证。
机译:定性的动力学建模可以正式解释中胚层规格并预测新的发育表型
机译:基于时域规范的比例积分控制器自动模糊调整
机译:设备正式验证一致性管理软件系统微控制器设计规范
机译:消息序列图到LOTOS正式规格转换的自动翻译系统及其方法
机译:基于形式方法和规范方法的视觉规范支持工具系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。