搜索到 篇“ B语言 “的相关文章

相关作者

姜梦稚
作品数：16被引量：13H指数：2
供职机构：上海电机学院
研究主题：B语言 形式化方法 TPN PETRI网 B方法
张桂戌
作品数：51被引量：241H指数：5
供职机构：华东师范大学
研究主题：HIRFL 形式化方法 PETRI网 局部熵 主动轮廓线
邹盛荣
作品数：26被引量：68H指数：4
供职机构：扬州大学信息工程学院
研究主题：B方法 形式化方法 UML 流感病毒 免疫系统
张志政
作品数：45被引量：223H指数：5
供职机构：东南大学计算机科学与工程学院
研究主题：临床实践指南 推理机 知识库 群智能 偏好
刘振
作品数：2被引量：1H指数：1
供职机构：东南大学计算机科学与工程学院
研究主题：ILP B语言 ASP 归纳逻辑程序设计 动作语言