Automata-based modeling of interrupts in the Linux PREEMPT RT kernel.

Daniel Bristot de Oliveira, Rmulo Silva de Oliveira, Tommaso Cucinotta, Luca Abeni

Browse the full ETFA paper archive.