王小兵
|
个人信息Personal Information
教授
性别：男
毕业院校：西安电子科技大学
学历：博士研究生毕业
学位：博士研究生毕业
在职信息：在岗
所在单位：计算机科学与技术学院
学科：计算机软件与理论
扫描关注
一种基于TMSVL的C语言实时系统运行形式化分析方法
点击次数：
专利名称：一种基于TMSVL的C语言实时系统运行形式化分析方法
所属单位：100300
教研室：1103
专利范围：1
第一作者：王小兵
专利类型：发明专利
申请号：201410330453
发明人数：6
是否职务专利：否
申请日期：2014-07-11
授权日期：2017-10-20