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
最长约 10秒,即可获得该文献文件

科研通智能强力驱动
Strongly Powered by AbleSci AI
科研通是完全免费的文献互助平台,具备全网最快的应助速度,最高的求助完成率。 对每一个文献求助,科研通都将尽心尽力,给求助人一个满意的交代。
实时播报
1秒前
笨蛋没烦恼完成签到 ,获得积分10
2秒前
天亮了发布了新的文献求助10
5秒前
尛破孩完成签到,获得积分10
5秒前
橘络发布了新的文献求助10
6秒前
xiaoyu完成签到,获得积分10
8秒前
10秒前
zhendou完成签到,获得积分10
11秒前
12秒前
Return应助专注寻菱采纳,获得10
12秒前
上官若男应助VDC采纳,获得30
12秒前
1953发布了新的文献求助10
13秒前
无奈的平文完成签到,获得积分10
13秒前
keep完成签到 ,获得积分10
14秒前
Mea发布了新的文献求助30
16秒前
16秒前
SYLH应助vvv采纳,获得10
17秒前
MIRROR发布了新的文献求助10
17秒前
水上书完成签到,获得积分10
18秒前
李爱国应助电磁波采纳,获得10
21秒前
英俊的铭应助娃哈哈采纳,获得10
22秒前
可爱的函函应助求知的周采纳,获得10
22秒前
轻松的白容完成签到,获得积分20
22秒前
23秒前
24秒前
24秒前
MIRROR完成签到,获得积分10
24秒前
星辰大海应助李不慌采纳,获得10
27秒前
lutra发布了新的文献求助10
27秒前
29秒前
VDC发布了新的文献求助30
29秒前
bemyselfelsa发布了新的文献求助10
29秒前
hello发布了新的文献求助10
30秒前
CipherSage应助清新采纳,获得10
30秒前
30秒前
32秒前
yu应助科研通管家采纳,获得10
32秒前
一一应助科研通管家采纳,获得10
32秒前
一一应助科研通管家采纳,获得30
32秒前
32秒前
高分求助中
Production Logging: Theoretical and Interpretive Elements 2500
Востребованный временем 2500
Aspects of Babylonian celestial divination : the lunar eclipse tablets of enuma anu enlil 1500
Agaricales of New Zealand 1: Pluteaceae - Entolomataceae 1040
Healthcare Finance: Modern Financial Analysis for Accelerating Biomedical Innovation 1000
Classics in Total Synthesis IV: New Targets, Strategies, Methods 1000
지식생태학: 생태학, 죽은 지식을 깨우다 600
热门求助领域 (近24小时)
化学 医学 材料科学 生物 工程类 有机化学 生物化学 纳米技术 内科学 物理 化学工程 计算机科学 复合材料 基因 遗传学 物理化学 催化作用 细胞生物学 免疫学 电极
热门帖子
关注 科研通微信公众号,转发送积分 3458976
求助须知:如何正确求助?哪些是违规求助? 3053650
关于积分的说明 9037422
捐赠科研通 2742859
什么是DOI,文献DOI怎么找? 1504561
科研通“疑难数据库(出版商)”最低求助积分说明 695334
邀请新用户注册赠送积分活动 694589