退出
我的积分:
中文文献批量获取
外文文献批量获取
郭天天; 卢焕章; 张志勇;
国防科技大学ATR国家重点实验室,湖南,长沙,410073;
软硬件协同设计; FSM模型; CFSM模型; 有穷自动机;
机译:嵌入式系统的需求模型:嵌入式系统的需求模型
机译:带有变频器的同步电机(CFSM)的变速抽水蓄能-在风能和太阳能发电渗透率较高的电网中增加附加值
机译:使用CFSM的芯片网络上的正式建模及其在检测死锁中的应用
机译:基于CFSM网络的嵌入式系统的形式验证
机译:基于模型的分布式实时嵌入式系统的模型驱动的容错配置。
机译:具有嵌入式系统循环的人体高级计算生物热传递模型
机译:基于CFsm网络的嵌入式系统的形式化验证
机译:sCm和CFsm模型的协议验证器
机译:实时嵌入式系统的生成模型,它们在降低与非嵌入式模型相关联的复杂性时可以近似非嵌入式模型
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。