|
Бетелин, В. Б. Контролируемое выполнение с явной моделью [Текст] / В. Б. Бетелин, В. А. Галатенко, К. А. Костюхин // Программирование. – 2014. – № 5. – С. 45-55.
Рассматривается разработанная в НИИСИ РАН концепция контролируемого выполнения с явной моделью, позволяющая повысить надежность и сбоеустойчивость целевых аппаратно-программных комплексов со сложной архитектурой. |