Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. A Deterministic Analysis Method of Embedded System Based on Event-driven;2020 IEEE International Conference on Industrial Engineering and Engineering Management (IEEM);2020-12-14
2. Static Analysis of Runtime Errors in Interrupt-Driven Programs via Sequentialization;ACM Transactions on Embedded Computing Systems;2016-09
3. Probabilistic Denotational Semantics for an Interrupt Modelling Language;2015 20th International Conference on Engineering of Complex Computer Systems (ICECCS);2015-12
4. Semantic theories of programs with nested interrupts;Frontiers of Computer Science;2015-02-03
5. Automated Test Oracles;Advances in Computers;2014