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

相关作者

姜梦稚
作品数：16被引量：13H指数：2
供职机构：上海电机学院
研究主题：B语言 形式化方法 TPN PETRI网 B方法
张桂戌
作品数：50被引量：241H指数：5
供职机构：华东师范大学
研究主题：HIRFL 形式化方法 PETRI网 局部熵 主动轮廓线
邹盛荣
作品数：26被引量：69H指数：4
供职机构：扬州大学信息工程学院
研究主题：B方法 形式化方法 UML 流感病毒 免疫系统
张志政
作品数：42被引量：215H指数：5
供职机构：东南大学
研究主题：临床实践指南 推理机 知识库 群智能 偏好
徐琦璐
作品数：8被引量：23H指数：1
供职机构：上海外国语大学高级翻译学院
研究主题：同声传译 交替传译 工作记忆 听说 英汉