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

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

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