Research on Modeling and Analysis of CPS

计算机科学 信息物理系统 自动机 模型检查 模型转换 抽象 组分(热力学) 分布式计算 临界性 转化(遗传学) 程序设计语言 理论计算机科学 人工智能 操作系统 哲学 热力学 物理 核物理学 化学 基因 认识论 一致性(知识库) 生物化学
作者
Yu Zhang,Yunwei Dong,Fan Zhang,Zhang Yun-feng
出处
期刊:Lecture Notes in Computer Science 卷期号:: 92-105 被引量:10
标识
DOI:10.1007/978-3-642-23496-5_7

科研通智能强力驱动
Strongly Powered by AbleSci AI
科研通是完全免费的文献互助平台,具备全网最快的应助速度,最高的求助完成率。 对每一个文献求助,科研通都将尽心尽力,给求助人一个满意的交代。
实时播报
刚刚
8R60d8应助科研通管家采纳,获得10
刚刚
好怀念WE完成签到,获得积分20
刚刚
刚刚
Akim应助科研通管家采纳,获得10
刚刚
刚刚
情怀应助科研通管家采纳,获得10
刚刚
FashionBoy应助科研通管家采纳,获得10
刚刚
1秒前
1秒前
8R60d8应助科研通管家采纳,获得10
1秒前
SciGPT应助科研通管家采纳,获得10
1秒前
CodeCraft应助科研通管家采纳,获得10
1秒前
CipherSage应助科研通管家采纳,获得10
1秒前
1秒前
8R60d8应助科研通管家采纳,获得10
1秒前
ding应助科研通管家采纳,获得10
1秒前
现代的十八完成签到,获得积分10
1秒前
Jasper应助科研通管家采纳,获得10
1秒前
Hello应助科研通管家采纳,获得10
1秒前
1234发布了新的文献求助10
1秒前
1秒前
赘婿应助科研通管家采纳,获得10
1秒前
上官若男应助科研通管家采纳,获得10
1秒前
隐形曼青应助科研通管家采纳,获得10
1秒前
科目三应助科研通管家采纳,获得10
2秒前
2秒前
2秒前
2秒前
乐乐应助科研通管家采纳,获得10
2秒前
2秒前
2秒前
cc2004bj应助科研通管家采纳,获得10
2秒前
所所应助科研通管家采纳,获得10
2秒前
英俊的铭应助sxy采纳,获得10
2秒前
木木发布了新的文献求助10
2秒前
刻苦元柏发布了新的文献求助10
3秒前
4秒前
坚定的傲易完成签到,获得积分10
5秒前
5秒前
高分求助中
(应助此贴封号)【重要!!请各用户(尤其是新用户)详细阅读】【科研通的精品贴汇总】 10000
晶种分解过程与铝酸钠溶液混合强度关系的探讨 8888
Chemistry and Physics of Carbon Volume 18 800
The Organometallic Chemistry of the Transition Metals 800
Leading Academic-Practice Partnerships in Nursing and Healthcare: A Paradigm for Change 800
The formation of Australian attitudes towards China, 1918-1941 640
Signals, Systems, and Signal Processing 610
热门求助领域 (近24小时)
化学 材料科学 医学 生物 纳米技术 工程类 有机化学 化学工程 生物化学 计算机科学 物理 内科学 复合材料 催化作用 物理化学 光电子学 电极 细胞生物学 基因 无机化学
热门帖子
关注 科研通微信公众号,转发送积分 6429958
求助须知:如何正确求助?哪些是违规求助? 8246114
关于积分的说明 17535777
捐赠科研通 5486092
什么是DOI,文献DOI怎么找? 2895727
邀请新用户注册赠送积分活动 1872139
关于科研通互助平台的介绍 1711613