2024年8月31日
星期六
|
欢迎来到滨州市图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
搜索到
篇“
形式化规约
“的相关文章
资源类型:
全部数字资源类型
期刊文章
政策法规
学位论文
专利
会议论文
标准
专著
科技成果
产品样本
科技报告
排序方式:
相关度排序
被引量排序
时效性降序
时效性升序
相关作者
陈振庆
作品数:29
被引量:62
H指数:5
供职机构:贺州学院教育技术中心
研究主题:描述逻辑 知识库 DELPHI UML类图 计算机专业
黄志球
作品数:399
被引量:1,031
H指数:15
供职机构:南京航空航天大学
研究主题:WEB服务 抽象语法树 隐私 代码 本体
段振华
作品数:208
被引量:227
H指数:8
供职机构:西安电子科技大学
研究主题:时序逻辑 语句 形式化验证 命题投影时序逻辑 投影时序逻辑
陈哲
作品数:63
被引量:157
H指数:6
供职机构:南京航空航天大学计算机科学与技术学院
研究主题:抽象语法树 源代码 插桩 词法分析 内存
田聪
作品数:161
被引量:59
H指数:4
供职机构:西安电子科技大学
研究主题:时序逻辑 语句 命题投影时序逻辑 词法 形式化建模
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张