Электронная библиотека (репозиторий) Томского государственного университета
Ермаков, Антон Дмитриевич | статьи в журналах

Add to Quick Collection   All 2 Results

Showing items 1 - 2 of 2.
  • «
  • ←
  • 1
  • →
  • »
Sort:
 Add All Items to Quick Collection
Add   Синтез проверяющих последовательностей для недетерминированных автоматов относительно редукции
Authors: Ермаков, Антон Дмитриевич
Source: Труды Института системного программирования РАН. 2014. Т. 26, вып. 6. С. 111-123
Type: статьи в журналах
Date: 2014
Add   Тестирование безопасности программного обеспечения с использованием верификаторов
Authors: Ермаков, Антон Дмитриевич
Source: Известия высших учебных заведений. Физика. 2013. Т. 56, № 9/2. С. 181-183
Type: статьи в журналах
Date: 2013
  • «
  • ←
  • 1
  • →
  • »
^