掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
Safety-critical systems symposium
Safety-critical systems symposium
召开年:
2019
召开地:
Bristol(GB)
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Preface
机译:
前言
会议名称:
《Safety-critical systems symposium》
|
2019年
2.
The Safety-Critical Systems Club
机译:
安全关键系统俱乐部
会议名称:
《Safety-critical systems symposium》
|
2019年
3.
Automation Surprise in the 21st Century: Culture, Collaborative Cognition, Complexity and Legacy Systems
机译:
21世纪的自动化惊喜:文化,协作认知,复杂性和传统系统
作者:
Sidney Dekker
会议名称:
《Safety-critical systems symposium》
|
2019年
4.
The Risk of Relying on a Public Communications Infrastructure
机译:
依赖公共通信基础设施的风险
作者:
Johannes de Haan
;
Fabio Massacci
;
Pierantonia Sterlini
;
Peter Bernard Ladkin
;
Christian Raspotnig
会议名称:
《Safety-critical systems symposium》
|
2019年
5.
Managing major accident hazard risks (people, plant and environment) during organisational change: A new Energy Institute Guide
机译:
在组织变革期间管理重大事故危险风险(人员,工厂和环境):新的《能源研究所指南》
作者:
Michael Wright
;
Ludmila Musalova
;
Rebecca Canham
;
Stuart King
会议名称:
《Safety-critical systems symposium》
|
2019年
6.
Sufficient Assurance?
机译:
足够的保证?
作者:
John Spriggs
会议名称:
《Safety-critical systems symposium》
|
2019年
7.
Safety in NHS IT - A Personal Narrative
机译:
NHS IT中的安全性-个人叙事
作者:
Maureen Baker
会议名称:
《Safety-critical systems symposium》
|
2019年
8.
The Principles of Service Assurance
机译:
服务保证原则
作者:
Nick Durston
;
Andy Scott
;
Mike Parsons
;
Alan Simpson
会议名称:
《Safety-critical systems symposium》
|
2019年
9.
Service-based Safety Assurance: A provider approach in a challenging environment
机译:
基于服务的安全保证:充满挑战的环境中的提供商方法
作者:
Kevin King
;
Steve Elliott
会议名称:
《Safety-critical systems symposium》
|
2019年
10.
Engineering Safe Machine Learning for Automated Driving Systems
机译:
自动驾驶系统的工程安全机器学习
作者:
Jelena Frtunikj
;
Simon Fuerst
会议名称:
《Safety-critical systems symposium》
|
2019年
11.
Review of Regulatory Issues of Robotic and Autonomous Systems: Learning for Civil Nuclear Industry
机译:
机器人和自主系统的法规问题回顾:民用核工业的学习
作者:
Hatnid Asgari
;
Jason Farrell
;
Ben Pritchard
会议名称:
《Safety-critical systems symposium》
|
2019年
12.
Verifying Behaviour of Swarms of Autonomous Cyber Physical Systems
机译:
验证自主网络物理系统群的行为
作者:
Colin OHalloran
;
William Simmonds
;
Nick Tudor
会议名称:
《Safety-critical systems symposium》
|
2019年
13.
Rethinking Diversity in the Context of Autonomous Systems
机译:
重新思考自治系统中的多样性
作者:
Rob Ashmore
;
Bhopinder Madahar
会议名称:
《Safety-critical systems symposium》
|
2019年
14.
Towards Dynamic Safety Management for Autonomous Systems
机译:
走向自主系统的动态安全管理
作者:
Mario Trapp
;
Gereon Weiss
会议名称:
《Safety-critical systems symposium》
|
2019年
15.
Review of the context for a combined security-safety risk management framework for rail
机译:
审查铁路安全保障风险组合管理框架的背景
作者:
Emma A. Taylor
;
David J. K. Griffin
会议名称:
《Safety-critical systems symposium》
|
2019年
16.
Developing Critical Software in the Modern Threat Environment
机译:
在现代威胁环境中开发关键软件
作者:
Brian Stevens
;
Rob Ashmore
;
Andrea Margheri
;
Vladimiro Sassone
会议名称:
《Safety-critical systems symposium》
|
2019年
17.
Assuring EULYNX: Application of CSM-RA to Specification Development
机译:
确保EULYNX:CSM-RA在规范制定中的应用
作者:
Stephen Bull
;
David Shipman
会议名称:
《Safety-critical systems symposium》
|
2019年
18.
Forensics to Prognostics: From investigating failures to anticipating the vulnerabilities of increasingly complex systems
机译:
法医学到预测学:从调查故障到预测日益复杂的系统的漏洞
作者:
Graham R Braithwaite
会议名称:
《Safety-critical systems symposium》
|
2019年
19.
Design of an Application to Make Maintenance Processes Safer
机译:
设计使维护过程更安全的应用程序
作者:
Nicholas Hales
会议名称:
《Safety-critical systems symposium》
|
2019年
20.
Civil Certification of Multi-core Processing Systems in Commercial Avionics
机译:
商业航空电子多核处理系统的民用认证
作者:
David Radack
;
Harold G. Tiedeman
;
Jr. Paul J. Parkinson
会议名称:
《Safety-critical systems symposium》
|
2019年
21.
Functional Safety in the Context of Distributed Co-Simulation
机译:
分布式协同仿真中的功能安全
作者:
Martin Krammer
;
Helmut Martin
;
Bernhard Winkler
;
Martin Benedikt
会议名称:
《Safety-critical systems symposium》
|
2019年
22.
Towards a Safety Argument for Autonomous Systems that Use Machine Learning
机译:
关于使用机器学习的自治系统的安全性争论
作者:
James McCloskey
;
Chris Allsopp
;
David H Smith
;
Elizabeth Lennon
;
Sam Jenkins
;
Lee Ramsay
会议名称:
《Safety-critical systems symposium》
|
2019年
23.
Potential Methods to Enhance Safety within Neural Network Based Systems
机译:
在基于神经网络的系统中增强安全性的潜在方法
作者:
Graham Sutherland
;
Ali Hessami
会议名称:
《Safety-critical systems symposium》
|
2019年
24.
Credible Autonomy Safety Argumentation
机译:
可信的自治安全论点
作者:
Philip Koopman
;
Aaron Kane
;
Jen Black
会议名称:
《Safety-critical systems symposium》
|
2019年
25.
Developing an Ontology of Risk Terminology for Safety and Security Engineering
机译:
为安全和安保工程开发风险术语的本体
作者:
Dave Banham
会议名称:
《Safety-critical systems symposium》
|
2019年
26.
Who does what for Service Assurance?
机译:
谁为服务保证做什么?
作者:
Nick Durston
会议名称:
《Safety-critical systems symposium》
|
2019年
27.
System Dependability - What does it really mean?
机译:
系统可靠性-真正的含义是什么?
作者:
Trevor Leckie
会议名称:
《Safety-critical systems symposium》
|
2019年
28.
Human Adaptability in Engineering System Safety
机译:
工程系统安全中的人员适应性
作者:
Don Maclnnes
会议名称:
《Safety-critical systems symposium》
|
2019年
29.
Dedicated EMI-Diverse Redundant Systems for Fail-Operational Safety-Critical Systems under Harsh Electromagnetic Disturbances
机译:
恶劣电磁干扰下用于故障操作安全关键系统的专用EMI多样冗余系统
作者:
Davy Pissoort
会议名称:
《Safety-critical systems symposium》
|
2019年
30.
Abstract Interface Classes to Identify Affecting Factors for Safety of Autonomous Vehicles
机译:
识别自动驾驶汽车安全影响因素的抽象接口类
作者:
Masao Ito
会议名称:
《Safety-critical systems symposium》
|
2019年
31.
Psychological safety - facilitating self-reporting of error, mistakes and non-compliance: A rapid review for the Energy Institute
机译:
心理安全-促进自我报告错误,错误和违规情况:能源研究所的快速审查
作者:
Michael Wright
;
Sam Opiah
会议名称:
《Safety-critical systems symposium》
|
2019年
意见反馈
回到顶部
回到首页