设为首页
收藏本站
网站地图
|
English
|
公务邮箱
About the library
Background
History
Leadership
Organization
Readers' Guide
Opening Hours
Collections
Help Via Email
Publications
Electronic Information Resources
常用资源
电子图书
期刊论文
学位会议
外文资源
特色专题
内部出版物
中国地质文献-英文(4)
SpringerLink电子期刊(1)
Elsevier电子期刊(7)
在“
SpringerLink电子期刊
”中,
命中:
1
条,耗时:小于0.01 秒
在所有数据库中总计命中:
12
条
1.
An Abstract Model for Proving Safety of Autonomous Urban Traffic
关键词:
Multi
;
dimensional spatial logic
;
Urban traffic
;
Bended
view
;
Virtual lanes
;
Autonomous cars
;
Collision freedom
;
Timed Automata
刊名:Lecture Notes in Computer Science
出版年:2016
1
按检索点细分(1)
关键词(1)
按出版年细分(1)
2016年(1)
NGLC 2004-2010.National Geological Library of China All Rights Reserved.
Add:29 Xueyuan Rd,Haidian District,Beijing,PRC. Mail Add: 8324 mailbox 100083
For exchange or info please contact us via
email
.