График выхода изданий
  • №4 Декабрь 2025
  • №1 Март 2026
    Статьи принимаются до: 27 Февраля 2026
  • №2 Июнь 2026
    Статьи принимаются до: 29 Мая 2026
  • №3 Сентябрь 2026
    Статьи принимаются до: 31 Августа 2026
Моисеев Михаил Юрьевич
Моисеев Михаил Юрьевич
195251, Россия, Санкт-Петербург, ул. Политехническая, д. 21.

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

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

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

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

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

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

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

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