AADL在中断控制系统建模中的应用

关键词： AADL 中断控制系统 中断控制器 GSPN

作者: 任飞 谯婷婷 刘俊波 邵杨锋

作者单位: 电子科技大学计算机科学与工程学院 四川成都 610054 中航工业西安飞行自动控制研究所,陕西西安 710065 西安电子科技大学计算机学院,陕西西安 710071

会议类型: 国内会议

会议名称: 中国计算机学会多值逻辑与模糊逻辑专业委员会第十三届学术年会

会议地点: 上海

会议语种:中文

页码: 30-30

在线出版日期: 2012-10-01（万方平台首次上网日期，不代表论文的发表时间）