N Coppik, O Schwahn,
N Suri - 2021 14th IEEE Conference on …, 2021 - ieeexplore.ieee.org
Assessing operating system dependability remains a challenging problem, particularly in
monolithic systems. Component interfaces are not well-defined and boundaries are not …