Author:
Denney Ewen,Pai Ganesh,Whiteside Iain
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Revue Systématique de la Littérature sur le Soutien à la Sécurité des Opérations de Drones;32e Conférence Francophone sur l'Interaction Homme-Machine;2021-04-13
2. Event-B formalization of a variability-aware component model patterns framework;Science of Computer Programming;2020-11
3. AC-ROS;Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems;2020-10-16
4. Formal Verification Tool Evaluation For Unmanned Aircraft Containing Complex Functions;2020 AIAA/IEEE 39th Digital Avionics Systems Conference (DASC);2020-10-11
5. The role of safety architectures in aviation safety cases;Reliability Engineering & System Safety;2019-11