График выхода изданий
  • №4 Декабрь 2026
  • №1 Март 2027
  • №2 Июнь 2027
Ахин Марат Халимович
Ахин Марат Халимович
Место работы
Санкт-Петербургский политехнический университет Петра Великого
ул. Политехническая д. 29, Санкт-Петербург, 195251

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

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