Component-Based Approach to Run-Time Kernel Specification and Verification.

Gustaf Naeser, Kristina Lundqvist

Browse the full ECRTS paper archive.