论文信息 - Securely Partitioning Spacecraft Computing Resources: Validation of a Separation Kernel - 字舞流文

Securely Partitioning Spacecraft Computing Resources: Validation of a Separation Kernel

Ismael Ripoll | Alfons Crespo | Vangelis Kollias | Miguel Masmano | Knut Eckstein | Thomas Pareaud | James Windsor | Nikos Pogkas | Luc Planche | Dimitris Mylonas | M. Masmano | I. Ripoll | A. Crespo | D. Mylonas | J. Windsor | T. Pareaud | L. Planche | V. Kollias | N. Pogkas | K. Eckstein