退出
我的积分:
中文文献批量获取
外文文献批量获取
任飞; 谯婷婷; 刘俊波; 邵杨锋;
电子科技大学计算机科学与工程学院 成都610054;
中航工业西安飞行自动控制研究所 西安710065;
西安电子科技大学计算机学院 西安710071;
AADL; 中断控制系统; 中断控制器; GSPN;
机译:使用Polychrony的AADL中嵌入式软件体系结构的定时行为建模和仿射调度
机译:实时Maude中AADL线程的形式化建模和分析
机译:AADL扩展,可对经典FPGA和嵌入式SoC中的FPGA进行建模
机译:基于AADL的飞行指导和控制系统建模与设计
机译:协作通信中断管理系统(C-CIMS):通过人机团队的韵律和主题建模对中断时间进行建模
机译:完美解耦控制系统的数学建模及其应用:反渗透淡化工业规模装置
机译:aRp4761安全评估中的aaDL故障建模和分析。
机译:用于为多个运行竞争者的应用程序实现表格的方法,用于考虑因运行多个应用程序中的一个应用程序中的一个而产生的中断驴的响应而消耗的补充处理时间的方法以及用于考虑额外处理的方法计算机的操作系统响应中断驴所消耗的时间 u00ecncrona
机译:在至少部分实时工作的数据处理系统中,在组合的中断和顺序控制系统中处理中断请求和处理调用的方法和装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。