A general approach for expressing infeasibility in implicit path enumeration technique
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Timing Analysis of Embedded Software Updates;2023 IEEE 29th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA);2023-08-30
2. High-assurance timing analysis for a high-assurance real-time operating system;Real-Time Systems;2017-07-27
3. WCET analysis in shared resources real-time systems with TDMA buses;Proceedings of the 23rd International Conference on Real Time and Networks Systems;2015-11-04
4. Timing analysis enhancement for synchronous program;Real-Time Systems;2015-02-14