×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
清华大学 [32]
软件研究所 [16]
北京航空航天大学 [11]
兰州大学 [6]
华南理工大学 [6]
兰州理工大学 [5]
更多...
内容类型
期刊论文 [63]
会议论文 [33]
会议 [3]
其他 [3]
SCI/SSCI论文 [1]
发表日期
2019 [5]
2018 [7]
2017 [4]
2016 [8]
2015 [5]
2014 [2]
更多...
学科主题
Computer S... [1]
Computer S... [1]
automobile... [1]
computer a... [1]
computer t... [1]
computer t... [1]
更多...
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共103条,第1-10条
帮助
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
发表日期升序
发表日期降序
作者升序
作者降序
提交时间升序
提交时间降序
题名升序
题名降序
On local stabilities of p-Kahler structures
期刊论文
COMPOSITIO MATHEMATICA, 2019, 卷号: 155, 期号: 3
作者:
Rao, Sheng
;
Wan, Xueyuan
;
Zhao, Quanting
收藏
  |  
浏览/下载:11/0
  |  
提交时间:2019/12/05
deformations of complex structures
deformations and infinitesimal methods
formal methods
deformations
Hermitian and Kahlerian manifolds
On local stabilities of p-Kahler structures
期刊论文
COMPOSITIO MATHEMATICA, 2019, 卷号: 155, 期号: 3, 页码: 455-483
作者:
Rao, Sheng*
;
Wan, Xueyuan
;
Zhao, Quanting
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2019/12/23
deformations of complex structures
deformations and infinitesimal methods
formal methods
deformations
Hermitian and Kahlerian manifolds
MSAID: Automated detection of interference in multiple SDN applications
期刊论文
COMPUTER NETWORKS, 2019, 卷号: 153, 页码: 49-62
作者:
Li, Yahui
;
Wang, Zhiliang
;
Yao, Jiangyuan
;
Yin, Xia
;
Shi, Xingang
收藏
  |  
浏览/下载:5/0
  |  
提交时间:2019/12/30
Multiple SDN applications
Interferences
Formal methods
A Survey on Network Verification and Testing With Formal Methods: Approaches and Challenges
期刊论文
IEEE COMMUNICATIONS SURVEYS AND TUTORIALS, 2019, 卷号: 21, 页码: 940-969
作者:
Li, Yahui
;
Yin, Xia
;
Wang, Zhiliang
;
Yao, Jiangyuan
;
Shi, Xingang
收藏
  |  
浏览/下载:13/0
  |  
提交时间:2019/12/30
Network verification
network testing
formal methods
network reliability
software-defined network
Template-based AADL automatic code generation
期刊论文
FRONTIERS OF COMPUTER SCIENCE, 2019, 卷号: 13, 页码: 698-714
作者:
Hu, Kai
;
Duan, Zhangbo
;
Wang, Jiye
;
Ga, Lingchao
;
Shang, Lihong
收藏
  |  
浏览/下载:11/0
  |  
提交时间:2019/12/30
real-time system
template
formal methods
AADL
automatic code generation
Formal modelling of list based dynamic memory allocators
期刊论文
SCIENCE CHINA-INFORMATION SCIENCES, 2018, 卷号: 61
作者:
Fang, Bin[1]
;
Sighireanu, Mihaela[2]
;
Pu, Geguang[3]
;
Su, Wen[4]
;
Abrial, Jean-Raymond[5]
收藏
  |  
浏览/下载:8/0
  |  
提交时间:2019/04/22
dynamic memory allocators
formal methods
refinement
Event-B
Rodin
model-based design
Several Special Complex Structures and Their Deformation Properties
期刊论文
JOURNAL OF GEOMETRIC ANALYSIS, 2018, 卷号: 28, 期号: 4
作者:
Rao, Sheng
;
Zhao, Quanting
收藏
  |  
浏览/下载:6/0
  |  
提交时间:2019/12/05
Deformations of complex structures
Deformations and infinitesimal methods
Formal methods
Deformations
Hermitian and Kahlerian manifolds
Several Special Complex Structures and Their Deformation Properties
期刊论文
The Journal of Geometric Analysis, 2018, 卷号: 28, 期号: 4, 页码: 2984-3047
作者:
Rao, Sheng
;
Zhao, Quanting*
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2019/12/23
Deformations of complex structures
Deformations and infinitesimal methods
Formal methods
Deformations
Hermitian and Kählerian manifolds
Primary 32G05
Secondary 13D10
14D15
53C55
Correct-by-construction specification to verified code
期刊论文
JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS, 2018, 卷号: 30
作者:
Ge, Ning
;
Dieumegard, Arnaud
;
Jenn, Eric
;
Voisin, Laurent
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2019/12/30
C
code generation
equivalence proof
Event-B
formal methods
property proof
Formal Modeling and Verification of Smart Contracts
会议论文
PROCEEDINGS OF 2018 7TH INTERNATIONAL CONFERENCE ON SOFTWARE AND COMPUTER APPLICATIONS (ICSCA 2018), 2018-01-01
作者:
Bai, Xiaomin
;
Cheng, Zijing
;
Duan, Zhangbo
;
Hu, Kai
收藏
  |  
浏览/下载:17/0
  |  
提交时间:2019/12/30
Smart contracts
Formal methods
Model checking
Modeling
Formal Verification
SPIN
©版权所有 ©2017 CSpace - Powered by
CSpace