График выхода журналов
  • №4 Декабрь 2020

Статьи по ключевому слову "верификация на моделях"

Динамическая верификация гибридных систем

Конференция «Инструменты и методы анализа программ – 2013»
  • Год: 2014
  • Выпуск: 2
  • 746
  • 2450
  • Страницы: 189-203