搜索到 篇“ 程序语义 “的相关文章

相关作者

张晓东
作品数：90被引量：320H指数：9
供职机构：西安交通大学医学院第一附属医院
研究主题：颅内动脉瘤 血管内栓塞 血管内栓塞治疗 蛛网膜下腔出血 电解可脱性弹簧圈
刘沛
作品数：17被引量：6H指数：1
供职机构：西安交通大学
研究主题：多线程 程序语义 逻辑表达式 求解器 功率控制
刘烃
作品数：167被引量：199H指数：7
供职机构：西安交通大学
研究主题：胎记 攻击检测 智能电网 抄袭 报税
郑庆华
作品数：599被引量：2,116H指数：23
供职机构：西安交通大学
研究主题：视频 文本 关联网络 纳税人 虚拟机
金大海
作品数：132被引量：88H指数：6
供职机构：北京邮电大学
研究主题：控制流 软件测试 抽象语法树 控制流图 状态机