A case study on isolation of safety-critical software.

Autor: Addy, E.A.
Zdroj: COMPASS '91, Proceedings of the Sixth Annual Conference on Computer Assurance; 1991, p75-83, 9p
Databáze: Complementary Index