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

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

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

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

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

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

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

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

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