IEC 61508
认证
计算机科学
背景（考古学）
功能（生物学）
安全案例
机器人学
软件工程
自动定理证明
形式验证
安全标准
碰撞
功能安全
形式化方法
人工智能
机器人
风险分析（工程）
计算机安全
程序设计语言
可靠性工程
政治学
计算机网络
法学
古生物学
工程类
医学
生物
进化生物学
作者
Holger Täubig,Udo Frese,Christoph Hertzberg,Christoph Lüth,Stefan Mohr,Elena Vorobev,Dennis Walter
出处
期刊：Autonomous Robots
[Springer Science+Business Media]
日期：2011-12-21
卷期号：32 (3): 303-331
被引量：42
标识
DOI：10.1007/s10514-011-9271-y
科研通智能强力驱动
Strongly Powered by AbleSci AI
PDF的下载单位、IP信息已删除
鸣笛
pcr163
乐乐乐乐乐乐
蛇從革
打卡下班
热心市民小红花
孙燕
挖掘机
哈基米德
fanyueyue
不安青牛
kk99123
Kirito
SQXT
YamDaamCaa
昏睡的蟠桃
Zoo
eric888
彭于彦祖
Bio
皖公网安备34019202002308
