首页
|
软件所简介
|
人才培养
|
师资队伍
|
科学研究
|
国际合作
|
新闻公告
研究方向
学术活动
承担项目
当前位置：
首页
>>
科学研究
>>
学术活动
>>
正文
学术活动
学术报告预告：模型驱动的复杂安全攸关嵌入式系统形式设计理论及开发环境
点击：[]
上一条：
学术报告预告：软件可靠性—演进中的概念
下一条：
学术报告预告：从参数化到概率化的程序合成与调试
【
关闭
】
版权所有：北京航空航天大学软件工程研究所 地址：北京市海淀区学院路37号
