График выхода журналов
  • №2 Июнь 2020
    Статьи принимаются до: 10 Мая 2020
  • №3 Сентябрь 2020
  • №4 Декабрь 2020
Глухих Михаил Игоревич

Автоматизация анализа надежности невосстанавливаемых информационно-управляющих систем

Вычислительные машины и программное обеспечение
  • Год: 2012
  • Выпуск: 2
  • 1
  • 1026
  • Страницы: 81-90

Организация и проектирование высоконадежных вычислительных систем

Аппаратные и программные средства систем управления
  • Год: 2011
  • Выпуск: 6
  • 1
  • 1035
  • Страницы: 54-61

Язык спецификаций поведения программных компонентов

Вычислительные машины и программное обеспечение
  • Год: 2010
  • Выпуск: 3
  • 0
  • 1291
  • Страницы: 63-70

Исследование средств построения моделей исходного кода программ на языках C и C++

Вычислительные машины и программное обеспечение
  • Год: 2009
  • Выпуск: 1
  • 0
  • 1085
  • Страницы: 123-130