基于形式化模型的AUTOSAR OS调度表可调度性分析

来源 :华东师范大学 | 被引量 : 0次 | 上传用户：liioopp123

【摘要】

：

回回产卜爹仇贱回——回日E回。”。回祖一回“。回干肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》砧叫]们羽制作:陈恬’＃陈川个美食 Back to yield

【作者】

：

闫荣堃

【出处】

：

华东师范大学

【发表日期】

：

2004年期

【关键词】

：

AUTOSAR 形式化方法实时操作系统可调度性分析调度表机制

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

回回产卜爹仇贱回——回日E回。”。回祖一回“。回干肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》砧叫]们羽制作:陈恬’＃陈川个美食 Back to yield Buddy revenge - back to Japan E back. “Back once again.” Back to the dried meat in the magic N_. NH lP7-ewwe - “a” $ MN.W; - __._ - ------ "anvil called] feather production: Chen Tian

其他文献

低温快干醇酸氨基锤纹漆的制备和施工工艺探讨

采用快干醇酸树脂、甲醚化三聚氰胺甲醛树脂和锤纹助剂等制备低温快干型醇酸氨基锤纹漆。探讨了锤纹漆的施工工艺，并对影响锤纹漆性能和锤纹效果的各种因素作了讨论。

期刊

低温快干醇酸氨基漆锤纹漆施工工艺

1 580 mm半连续热轧带钢生产线轧制节奏分析

期刊

热轧带钢轧制节奏产品规格瓶颈区域

巴西国家治理危机的根源——基于国家治理体系10S模型的分析

期刊

巴西国家治理腐败败

人体解剖学实验开展第二课堂的实践探索