Author:
Yuvaraj Rajamanickam,Lye Sun Woh,Wee Hong Jie
Funder
Nanyang Technological University
Air Traffic Management Research Institute
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Verification of Safety of Aircraft Arrival Procedure using SPIN Model Checker;2023 International Conference on Frontiers of Information Technology (FIT);2023-12-11
2. Formal Verification of Aircraft Departure Procedure Using Spin Model Checker;2023 18th International Conference on Emerging Technologies (ICET);2023-11-06
3. An Eye-Fixation Related Electroencephalography Technique for Predicting Situation Awareness: Implications for Driver State Monitoring Systems;Human Factors: The Journal of the Human Factors and Ergonomics Society;2023-10-18
4. Analysis of Air Traffic Management Models;International Journal of Innovative Technology and Exploring Engineering;2022-01-30