Задачи верификации ОС Linux в контексте ее использования в государственном секторе.
Статья посвящена применению Linux в государственных организациях и связанным с этим выгодам и проблемам. Для многих областей, в которых используется Linux в этом контексте, важны как ее надежность, так и возможность надежного развития систем, построенных на базе этой операционной системы. И то, и др...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Ivannikov Institute for System Programming of the Russian Academy of Sciences
2006-01-01
|
| Series: | Труды Института системного программирования РАН |
| Online Access: | https://www.ispras.ru/en/proceedings/isp_10_2006/isp_10_2006_9/ |