搜索到 篇“ B方法 “的相关文章

相关作者

邹盛荣
作品数：26被引量：69H指数：4
供职机构：扬州大学信息工程学院
研究主题：B方法 形式化方法 UML 流感病毒 免疫系统
唐宇
作品数：6被引量：3H指数：1
供职机构：泰州师范高等专科学校
研究主题：B方法 免疫系统 形式化方法 形式化B方法 病毒入侵
李启南
作品数：20被引量：35H指数：4
供职机构：兰州交通大学电子与信息工程学院
研究主题：B方法 形式化方法 形式化研究 抗合谋 抽象机
肖健宇
作品数：19被引量：39H指数：4
供职机构：湖南涉外经济学院
研究主题：B方法 形式化方法 程序依赖图 并发程序 UML状态机
张德运
作品数：226被引量：1,261H指数：18
供职机构：西安交通大学
研究主题：无线传感器网络 计算机网络 网络处理器 网络安全 入侵检测