Understanding Bounding Functions in Safety-Critical UAV Software
Understanding Bounding Functions in Safety-Critical UAV Software
复制标题
了解安全关键型无人机软件中的边界功能
DOI：
10.1109/icse43902.2021.00119
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
Liu, Yu David
中科院分区：
文献类型：
--
作者：
Liang, Xiaozhou;Burns, John Henry;Sanchez, Joseph;Dantu, Karthik;Ziarek, Lukasz;Liu, Yu David
登录
查看更多内容
DOI：
10.1145/3377811.3380397
发表时间：
2020-06
期刊：
2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE)
影响因子：
--
作者：
Joshua Garcia;Yang Feng;Junjie Shen;Sumaya Almanee;Yuan Xia;Qi Alfred Chen
通讯作者：
Joshua Garcia;Yang Feng;Junjie Shen;Sumaya Almanee;Yuan Xia;Qi Alfred Chen
发现、分析和管理敏捷项目中的安全故事
DOI：
--
发表时间：
2018
期刊：
26th IEEE International Requirements Engineering Conference
影响因子：
--
作者：
Cleland-Huang, Jane;Vierhauser, Michael
通讯作者：
Vierhauser, Michael
飞行关键软件的形式验证
DOI：
--
发表时间：
2005
期刊：
影响因子：
--
作者：
Steven P. Miller;E. A. Anderson;Lucas G. Wagner;M. Whalen;M. Heimdahl
通讯作者：
M. Heimdahl
什么是直升机
DOI：
--
发表时间：
2015
期刊：
影响因子：
--
作者：
Jennifer Wall Msfc
通讯作者：
Jennifer Wall Msfc
尺寸类型
DOI：
--
发表时间：
1994
期刊：
European Symposium on Programming
影响因子：
--
作者：
A. Kennedy
通讯作者：
A. Kennedy