Author:
Obeidat Nawar H.,Purdy Carla
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Formal Specification and Verification of Time-Sensitive Drone Systems using TLA+: A Case Study;2024 IEEE International Conference on Interdisciplinary Approaches in Technology and Management for Social Innovation (IATMSI);2024-03-14
2. Formal Specification and Verification of Drone System using TLA+: A Case Study;2022 IEEE/ACIS 23rd International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD);2022-12-07
3. A Novel Way to Design ADS-B using UML and TLA+ with Security as a Focus;Advances in Science, Technology and Engineering Systems Journal;2020-12