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
科研通是完全免费的文献互助平台,具备全网最快的应助速度,最高的求助完成率。 对每一个文献求助,科研通都将尽心尽力,给求助人一个满意的交代。
实时播报
小菜在努力了完成签到,获得积分20
刚刚
激动的萧发布了新的文献求助10
1秒前
学医的杨同学完成签到,获得积分10
4秒前
研友_RLNzvL发布了新的文献求助30
4秒前
chizuru发布了新的文献求助10
5秒前
李健应助皮卡丘采纳,获得10
6秒前
小江不饿完成签到 ,获得积分10
7秒前
hanchangcun发布了新的文献求助10
10秒前
激动的萧完成签到,获得积分20
10秒前
11秒前
16秒前
17秒前
归尘发布了新的文献求助30
18秒前
20秒前
21秒前
爆米花应助纯情的心情采纳,获得10
24秒前
25秒前
31秒前
zbzfp完成签到,获得积分10
37秒前
羊东蒽完成签到,获得积分10
38秒前
无奈芸完成签到,获得积分10
38秒前
焰火青年给焰火青年的求助进行了留言
39秒前
kkkkkoi完成签到,获得积分10
41秒前
41秒前
无聊的老姆完成签到 ,获得积分10
41秒前
annafan完成签到,获得积分10
44秒前
haofan17完成签到,获得积分10
45秒前
激动的访文完成签到,获得积分10
46秒前
无奈芸发布了新的文献求助10
47秒前
47秒前
pluto应助安白采纳,获得10
52秒前
枫之林发布了新的文献求助10
52秒前
是谁还没睡完成签到 ,获得积分10
53秒前
吴云鹏发布了新的文献求助10
54秒前
体贴皮带完成签到 ,获得积分10
56秒前
华仔应助Lm采纳,获得10
1分钟前
Ava应助萤火虫采纳,获得10
1分钟前
完美世界应助吴云鹏采纳,获得20
1分钟前
Jasper应助科研通管家采纳,获得50
1分钟前
1分钟前
高分求助中
【此为提示信息,请勿应助】请按要求发布求助,避免被关 20000
Continuum Thermodynamics and Material Modelling 2000
Encyclopedia of Geology (2nd Edition) 2000
105th Edition CRC Handbook of Chemistry and Physics 1600
Maneuvering of a Damaged Navy Combatant 650
Mixing the elements of mass customisation 300
the MD Anderson Surgical Oncology Manual, Seventh Edition 300
热门求助领域 (近24小时)
化学 材料科学 医学 生物 工程类 有机化学 物理 生物化学 纳米技术 计算机科学 化学工程 内科学 复合材料 物理化学 电极 遗传学 量子力学 基因 冶金 催化作用
热门帖子
关注 科研通微信公众号,转发送积分 3777983
求助须知:如何正确求助?哪些是违规求助? 3323609
关于积分的说明 10215097
捐赠科研通 3038781
什么是DOI,文献DOI怎么找? 1667645
邀请新用户注册赠送积分活动 798329
科研通“疑难数据库(出版商)”最低求助积分说明 758315