Generating Certification Evidence for Autonomous Unmanned Aircraft Using Model Checking and Simulation
Generating Certification Evidence for Autonomous Unmanned Aircraft Using Model Checking and Simulation
复制标题
使用模型检查和仿真生成自主无人机的认证证据
DOI：
10.2514/1.i010096
复制
发表时间：
2014
影响因子：
1.5
通讯作者：
Webster M
中科院分区：
文献类型：
--
作者：
Webster M
登录
查看更多内容
使用正式模型检查和仿真进行自主无人机认证
DOI：
10.2514/6.2012-2573
发表时间：
2012
期刊：
Proceedings. 2005 IEEE Networking, Sensing and Control, 2005.
影响因子：
--
作者：
M. Webster;N. Cameron;M. Jump;Michael Fisher
通讯作者：
Michael Fisher
使用 SMV 的多无人机任务建模和验证
DOI：
10.4204/eptcs.20.3
发表时间：
2009
期刊：
Proceedings of the 2005, American Control Conference, 2005.
影响因子：
--
作者：
G. Sirigineedi;A. Tsourdos;B. White;R. Zbikowski
通讯作者：
R. Zbikowski
带有监控代理的航天飞机地面处理
影响因子：
6.4
作者：
G. Semmel;S. R. Davis;K. Leucht;Daniel A. Rowe;Kevin E. Smith;Ladislau Bölöni
通讯作者：
Ladislau Bölöni
DOI：
10.1109/aero.2006.1656029
发表时间：
2006
期刊：
2006 IEEE Aerospace Conference
影响因子：
--
作者：
G. Brat;E. Denney;D. Giannakopoulou;J. Frank;A. Jonsson
通讯作者：
A. Jonsson
Gwendolen：可验证代理的 BDI 语言
DOI：
--
发表时间：
2008
期刊：
影响因子：
--
作者：
Louise Dennis;Berndt Müller
通讯作者：
Berndt Müller