Real-Time Systems

Reactor-Based Modeling of Safe Interrupt-Driven Communication for Distributed Embedded Systems
Interrupt-driven communication is widely used in embedded systems to transfer data from hardware peripherals to software through …
Cite DOI IEEE Xplore