2025年1月7日
星期二
|
欢迎来到南京江宁区图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
搜索到
篇“
软件形式化
“的相关文章
资源类型:
全部数字资源类型
期刊文章
政策法规
学位论文
专利
会议论文
标准
专著
科技成果
产品样本
科技报告
排序方式:
相关度排序
被引量排序
时效性降序
时效性升序
相关作者
王新苏
作品数:3
被引量:3
H指数:1
供职机构:中国科学技术大学计算机科学与技术学院
研究主题:形式化方法 RUP 软件形式化 形式化语言 形式化规范
钱春花
作品数:34
被引量:55
H指数:3
供职机构:苏州农业职业技术学院
研究主题:物联网技术 校企合作 互联网 系统设计 校园文化
李明楚
作品数:94
被引量:221
H指数:7
供职机构:大连理工大学
研究主题:网格 启发式算法 NP-难解 网格计算 智能手机
吕建
作品数:411
被引量:1,924
H指数:24
供职机构:南京大学
研究主题:移动AGENT 面向对象 软件开发 INTERNET 软件体系结构
肖蕾
作品数:31
被引量:51
H指数:5
供职机构:厦门理工学院
研究主题:抓取 日志 运行环境 应用程序 测试用例优先级
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张