×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
北京航空航天大学 [4]
兰州大学 [4]
北京大学 [3]
数学与系统科学研究院 [2]
武汉大学 [2]
清华大学 [1]
更多...
内容类型
期刊论文 [10]
会议论文 [5]
其他 [4]
学位论文 [1]
发表日期
2019 [1]
2017 [1]
2015 [2]
2014 [2]
2012 [3]
2011 [1]
更多...
学科主题
biochemist... [1]
computer p... [1]
mathematic... [1]
physical g... [1]
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共20条,第1-10条
帮助
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
Mimic automata: A novel formal model for mimic computing
期刊论文
COGNITIVE SYSTEMS RESEARCH, 2019, 卷号: 57, 页码: 54-65
作者:
Zhu, Wei-Jun
;
Rodrigues, Joel J. P. C.
;
Niu, Jian-Wei
;
Xu, Ming-Liang
;
Zhou, Qing-Lei
收藏
  |  
浏览/下载:7/0
  |  
提交时间:2019/12/30
Mimic computing
Mimic automata
Dynamic
Heterogeneous
Random
Operational semantics
A Formal Framework for Integrated Environment Modeling Systems
期刊论文
ISPRS INTERNATIONAL JOURNAL OF GEO-INFORMATION, 2017, 卷号: 6, 期号: 1-2
作者:
Zhang, GF
;
Li, Y
;
Chen, C
;
Zhou, R
;
Chen, D
收藏
  |  
浏览/下载:7/0
  |  
提交时间:2017/05/09
Integrated Environment Modeling (IEM)
formal method
operational semantics
unified view
Finite State Machine (FSM)
Operational Semantics Modelling Semantic Action Refinement for Processes with Interrupt
期刊论文
2015, 2015
YUAN Hong
;
WU Jin-Zhao
收藏
  |  
浏览/下载:1/0
  |  
提交时间:2017/06/19
action refinement
denotational semantics
operational semantics
transition system
Equipment Collaboration Expressions in Automatic Test of Safety Critical Systems
其他
2015-01-01
Lv, J. H.
;
Sun, B.
;
Ma, S. L.
;
Li, X. J.
收藏
  |  
浏览/下载:7/0
  |  
提交时间:2017/12/03
trustworthiness
automatic test
equipment collaboration
operational semantics
SCS (Safety Critical System)
Distilling structure in Taverna scientific workflows: a refactoring approach
期刊论文
BMC Bioinformatics, 2014, 卷号: 15, 页码: 1-14
作者:
Cohen-Boulakia, S
;
Chen, JQ
;
Missier, P
;
Goble, C
;
Williams, AR
收藏
  |  
浏览/下载:5/0
  |  
提交时间:2015/12/15
Data flow analysis
Bioinformatics
Computer software reusability
Data handling
Design
Design for testability
Graphic methods
Semantics
Bioinformaticians
Contributing factor
Management systems
Operational efficiencies
Programming models
Scientific workflows
Structural complexity
Workflow structures
A formal semantics for debugging synchronous message passing-based concurrent programs
期刊论文
SCIENCE CHINA-INFORMATION SCIENCES, 2014, 卷号: 57, 页码: 1-18
作者:
Li He
;
Luo Jie
;
Li Wei
收藏
  |  
浏览/下载:2/0
  |  
提交时间:2020/01/06
debugging
synchronous
message passing
concurrent program
operational semantics
A Mathematical Characterization of System Design and Modeling
期刊论文
APPLIED MATHEMATICS & INFORMATION SCIENCES, 2012, 卷号: 6, 期号: 2, 页码: 345-356
作者:
Zhao, XB
;
He, AP
;
Wu, JZ
;
Yang, GW
;
Yang, Y
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2015/12/15
Denotational semantics
Operational semantics
Bi-simulation
Process algebra
Timed stable event structure
Gödel语言操作语义描述方法研究
学位论文
2012, 2012
曹炳义
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2016/02/14
操作语义
Gö
del抽象机
进化代数
Operational Semantics
Gö
del Abstract Machine
Evolving Algebra
A formal semantics for program debugging
期刊论文
SCIENCE CHINA-INFORMATION SCIENCES, 2012, 卷号: 55, 页码: 133-148
作者:
Li Wei
;
Li Ning
收藏
  |  
浏览/下载:1/0
  |  
提交时间:2020/01/06
debugging
operational semantics
failed test case
fix-equations
Two Formal Semantics of a Subset of the AADL
会议论文
IEEE Int Conf/Workshops on Engineering of Autonomicand Autonomous Systems/Int Conf on the Engineering of Computer-Based Systems/Int Conf on the Engineering of Complex Computer Systems, Las Vegas, NV, 2011-01-01
作者:
Yang, Zhibin
;
Hu, Kai
;
Bodeveix, Jean-Paul
;
Pi, Lei
;
Ma, Dianfu
收藏
  |  
浏览/下载:5/0
  |  
提交时间:2020/01/06
AADL
TASM
translational semantics
operational semantics
semantics preservation
©版权所有 ©2017 CSpace - Powered by
CSpace