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

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

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

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

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

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

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

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

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