退出
我的积分:
中文文献批量获取
外文文献批量获取
张珺铭; 王扣武; 计伟;
贵州建设职业技术学院,贵州贵阳551400;
中国电建集团贵阳勘测设计研究院有限公司,贵州贵阳550081;
生产者与消费者系统(PCS); TLA; 规约; TLA+; TLC;
机译:商业模型中基于模型的基于时序图的软件时序分析
机译:ATLAS MPBPK:基于MATLAB的基于MATLAB的模拟和模拟基于基于生理学的药代动力学模型的模拟工具
机译:使用TLA +和TLC模型检查器对多主体行为进行正式规范和验证
机译:Atlas:自动检测SystemC HLS设计的基于时序的信息泄漏流
机译:太阳耀斑检测中空间极端的新时序序列模型
机译:ATLAS mPBPK:基于MATLAB的最小基于生理学的药代动力学模型的建模和仿真工具
机译:使用TLC模型检查器在TLA +中正式化设计模式的逐步改进验证。
机译:评估用于筛选危险废物的TLC /沙门氏菌检测
机译:逻辑电路的时序约束模型的生成方法,逻辑电路的时序约束模型的生成程序以及使用时序约束模型的时序驱动布局方法
机译:渐变AOCV方法论可通过AOCV时序模型实现基于图的时序收敛
机译:梯度AOCV方法论通过AOCV时序模型实现基于图的时序关闭
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。