Practical Design Recovery Techniques for Embedded Operating System on Complying with RTCA/DO-178B and ISO/IEC15408.

Minhyung Kim, Sangkyun Kim, Myungwhan Choi

Browse the full KES paper archive.