Федухин, А.В.; Муха, Ар.А.; Сеспедес Гарсия, Н.В.
(Математичні машини і системи, 2016)
Статья посвящена вопросам безопасности компьютерных систем критического применения. Рассмотрены способы доказательства функциональной безопасности, приводятся необходимые понятия и определения.