Дата публикации: 2020

Дата публикации в реестре: 2021-08-05T17:53:49Z

Аннотация:

Рассматривается модель автоматизированной верификации компонентов машин обработки знаний, построенных по Технологии OSTIS.

Тип: Статья