搜索到 篇“ 形式化描述语言 “的相关文章

相关作者

郭欣
作品数：23被引量：4H指数：1
供职机构：华东师范大学
研究主题：形式化验证 机载软件 规约 形式化描述 目标代码
杨洋
作品数：72被引量：38H指数：3
供职机构：华东师范大学
研究主题：机载软件 目标代码 源代码 分子动力学 下肢
史建琦
作品数：151被引量：8H指数：2
供职机构：华东师范大学
研究主题：目标代码 形式化验证 反汇编 控制流图 中间语言
贾君枝
作品数：144被引量：671H指数：13
供职机构：山西大学经济与管理学院
研究主题：本体 关联数据 受控词表 图书情报事业 叙词表
黄滟鸿
作品数：133被引量：7H指数：2
供职机构：华东师范大学
研究主题：目标代码 反汇编 形式化验证 L模型 控制流图