Funder
Brazilian agencies FAPEAM
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Subject
Electrical and Electronic Engineering,Safety, Risk, Reliability and Quality
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. ESBMC-Python: A Bounded Model Checker for Python Programs;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11
2. Air-Bus Hijacking: Silently Taking over Avionics Systems;Proceedings of the 10th ACM Cyber-Physical System Security Workshop;2024-07
3. Formal Verification of Universal Numbers using Theorem Proving;Journal of Electronic Testing;2024-06
4. Autonomous Vehicle Mission Planning;Dynamic System Modeling and Analysis with MATLAB and Python;2022-09-27
5. Formal synthesis of non-fragile state-feedback digital controllers considering performance requirements for step response;Scientific Reports;2022-09-14