Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Subject
Electrical and Electronic Engineering,Control and Systems Engineering,Computer Networks and Communications,Computer Science Applications,Information Systems
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Applicability of Model Checking for Verifying Spacecraft Operational Designs;2023 ACM/IEEE 26th International Conference on Model Driven Engineering Languages and Systems (MODELS);2023-10-01
2. A Novel GAPG Approach to Automatic Property Generation for Formal Verification: The GAN Perspective;ACM Transactions on Multimedia Computing, Communications, and Applications;2023-01-05
3. Modern Spacecraft GNC;Modern Spacecraft Guidance, Navigation, and Control;2023
4. FDIR development approaches in space systems;Modern Spacecraft Guidance, Navigation, and Control;2023
5. SkiNet, A Petri Net Generation Tool for the Verification of Skillset-based Autonomous Systems;Electronic Proceedings in Theoretical Computer Science;2022-09-27