График выхода журналов
  • №3 Сентябрь 2020
  • №4 Декабрь 2020
Глухих Михаил Игоревич
  • 195251, Россия, Санкт-Петербург, ул. Политехническая, д. 21.

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

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

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

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

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

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

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

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