退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:智能自动化生产系统的正式验证:面向工业应用
机译:正式验证智能自动化生产系统:面向工业应用
机译:基于智能的自动化商店和工业应用无线电频率的检索系统
机译:第22届工业关键系统形式方法国际研讨会和第17届关键系统自动验证国际研讨会
机译:开发精益工业生产的智能和自动化系统,在生产过程中增加了最大的生产率和效率
机译:不确定性下自动模型抽象的形式分析:在系统生物学中的应用。
机译:工业应用中用于测量过氧化氢的自动化系统
机译:智能系统在工业应用中的经验与障碍
机译:自动验证工业控制环境中的应用程序代码
机译:一种开发和实现模型的方法,该模型用于形式化描述多组件分布式协作系统,特别是智能柔性生产自动化系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。