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

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

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

Автоматическое обнаружение дефектов в многопоточных программах методами статического анализа

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

Расчет метрик надежности программ на основе статического анализа

Вычислительные машины и программное обеспечение
  • Год: 2009
  • Выпуск: 3
  • 0
  • 805
  • Страницы: 139-147

Исследование систем автоматизации обнаружения дефектов в исходном коде программ

Вычислительные машины и программное обеспечение
  • Год: 2008
  • Выпуск: 5
  • 0
  • 887
  • Страницы: 119-127