3 citations · 9 across the 9 of their papers we have counts for
1 paper · 1 filter
Chungha Sung, Markus Kusano, Chao Wang
Interrupts have been widely used in safety-critical computer systems to handle outside stimuli and interact with the hardware, but reasoning about interrupt-driven software remains…