教师姓名：王颖
教师拼音名称：wangying
电子邮箱：
所在单位：信息学院
学历：博士研究生毕业
办公地点：C406
学位：博士
在职信息：在职
毕业院校：北京航空航天大学
所属院系：信息学院












其他联系方式
暂无内容






个人简介

暂无内容





教育经历

[1]2005.9——2013.6
北京航空航天大学>工学博士学位>工学博士学位
[2]2005.9——2013.6
北京航空航天大学>工学博士学位>工学博士学位






工作经历


[1]
信息学院






研究方向

暂无内容







华中农业大学

---

教师姓名：王颖
教师拼音名称：wangying
电子邮箱：
所在单位：信息学院
学历：博士研究生毕业
办公地点：C406
学位：博士
在职信息：在职
毕业院校：北京航空航天大学
所属院系：信息学院












其他联系方式
暂无内容






个人简介

暂无内容





教育经历

[1]2005.9——2013.6
北京航空航天大学>工学博士学位>工学博士学位
[2]2005.9——2013.6
北京航空航天大学>工学博士学位>工学博士学位






工作经历


[1]
信息学院






研究方向

暂无内容







华中农业大学

---

教师姓名：王颖
教师拼音名称：wangying
电子邮箱：
所在单位：信息学院
学历：博士研究生毕业
办公地点：C406
学位：博士
在职信息：在职
毕业院校：北京航空航天大学
所属院系：信息学院












其他联系方式
暂无内容






科学研究
当前位置: 中文主页 > 科学研究
研究领域
软件形式化方法，智能合约安全分析与验证


论文成果
Automatic RT-Java code generation from AADL models for ARINC653-based avionics software.compsac,
An AADL-based modeling method for ARINC653-based avionics software.COMPSAC,

专利
暂无内容

著作成果
暂无内容

科研项目
面向综合化航电系统的AADL 分区语义构建关键技术研究







华中农业大学

---

教师姓名：王颖
教师拼音名称：wangying
电子邮箱：
所在单位：信息学院
学历：博士研究生毕业
办公地点：C406
学位：博士
在职信息：在职
毕业院校：北京航空航天大学
所属院系：信息学院












其他联系方式
暂无内容






研究领域
当前位置: 中文主页 > 科学研究 > 研究领域
软件形式化方法，智能合约安全分析与验证







华中农业大学

---

教师姓名：王颖
教师拼音名称：wangying
电子邮箱：
所在单位：信息学院
学历：博士研究生毕业
办公地点：C406
学位：博士
在职信息：在职
毕业院校：北京航空航天大学
所属院系：信息学院












其他联系方式
暂无内容






论文成果
当前位置: 中文主页 > 科学研究 > 论文成果
Automatic RT-Java code generation from AADL models for ARINC653-based avionics software.compsac,
An AADL-based modeling method for ARINC653-based avionics software.COMPSAC,
共2条1/1 首页上页下页尾页








华中农业大学

---

教师姓名：王颖
教师拼音名称：wangying
电子邮箱：
所在单位：信息学院
学历：博士研究生毕业
办公地点：C406
学位：博士
在职信息：在职
毕业院校：北京航空航天大学
所属院系：信息学院












其他联系方式
暂无内容






专利
当前位置: 中文主页 > 科学研究 > 专利
共0条0/0








华中农业大学

---

教师姓名：王颖
教师拼音名称：wangying
电子邮箱：
所在单位：信息学院
学历：博士研究生毕业
办公地点：C406
学位：博士
在职信息：在职
毕业院校：北京航空航天大学
所属院系：信息学院












其他联系方式
暂无内容






著作成果
当前位置: 中文主页 > 科学研究 > 著作成果
共0条0/0








华中农业大学

---

教师姓名：王颖
教师拼音名称：wangying
电子邮箱：
所在单位：信息学院
学历：博士研究生毕业
办公地点：C406
学位：博士
在职信息：在职
毕业院校：北京航空航天大学
所属院系：信息学院












其他联系方式
暂无内容






科研项目
当前位置: 中文主页 > 科学研究 > 科研项目
面向综合化航电系统的AADL 分区语义构建关键技术研究
共1条1/1 首页上页下页尾页








华中农业大学

---

教师姓名：王颖
教师拼音名称：wangying
电子邮箱：
所在单位：信息学院
学历：博士研究生毕业
办公地点：C406
学位：博士
在职信息：在职
毕业院校：北京航空航天大学
所属院系：信息学院












其他联系方式
暂无内容






教学研究
当前位置: 中文主页 > 教学研究
教学资源
暂无内容

授课信息
Java程序设计,0,
软件工程,0,

教学成果
暂无内容







华中农业大学

---

教师姓名：王颖
教师拼音名称：wangying
电子邮箱：
所在单位：信息学院
学历：博士研究生毕业
办公地点：C406
学位：博士
在职信息：在职
毕业院校：北京航空航天大学
所属院系：信息学院












其他联系方式
暂无内容






教学资源
当前位置: 中文主页 > 教学研究 > 教学资源
共0条0/0








华中农业大学

---

教师姓名：王颖
教师拼音名称：wangying
电子邮箱：
所在单位：信息学院
学历：博士研究生毕业
办公地点：C406
学位：博士
在职信息：在职
毕业院校：北京航空航天大学
所属院系：信息学院












其他联系方式
暂无内容






授课信息
当前位置: 中文主页 > 教学研究 > 授课信息
Java程序设计,
软件工程,
共2条1/1 首页上页下页尾页








华中农业大学

---

教师姓名：王颖
教师拼音名称：wangying
电子邮箱：
所在单位：信息学院
学历：博士研究生毕业
办公地点：C406
学位：博士
在职信息：在职
毕业院校：北京航空航天大学
所属院系：信息学院












其他联系方式
暂无内容






教学成果
当前位置: 中文主页 > 教学研究 > 教学成果
共0条0/0








华中农业大学

---

教师姓名：王颖
教师拼音名称：wangying
电子邮箱：
所在单位：信息学院
学历：博士研究生毕业
办公地点：C406
学位：博士
在职信息：在职
毕业院校：北京航空航天大学
所属院系：信息学院












其他联系方式
暂无内容






获奖信息
当前位置: 中文主页 > 获奖信息
共0条0/0








华中农业大学