Autonomous Systems' Safety Cases for use in UK Nuclear Environments

Autonomous Systems' Safety Cases for use in UK Nuclear Environments
复制标题

用于英国核环境的自主系统安全案例

DOI:
10.4204/eptcs.391.10
复制
发表时间:
2023
影响因子:
--
通讯作者:
Anderson C
Anderson C
中科院分区:
--
文献类型:
--
作者:
Anderson C

文献摘要

参考文献

相似文献

DOI: --
发表时间: 2021
期刊:
影响因子: --
作者:
Matt Luckcuck;Michael Fisher;Louise A. Dennis;Steve Frost;A. White;D. Styles
通讯作者: D. Styles
DOI: --
发表时间: 2006
期刊:
影响因子: --
作者:
Matt Luckcuck;Michael Fisher;Louise A. Dennis;Steve Frost;A. White;D. Styles
通讯作者: D. Styles
格温多伦语义:2017
DOI: --
发表时间: 2017
期刊:
影响因子: --
作者:
Louise Dennis
通讯作者: Louise Dennis
MCAPL 框架,包括代理基础设施层和代理 Java 探路者
DOI: 10.21105/joss.00617
发表时间: 2018
影响因子: --
作者:
A. Dennis L
通讯作者: A. Dennis L