Верификация в исследовательских, учебных и промышленных системах

O. F. Nemolochnov, A. . Zykov, A. . Lazdin, V. I. Polyakov


Read the full article 

Abstract

Рассматривается метод верификации программ относительно друг друга на основе алгебротопологического подхода с применением теории множеств и теории графов.


Copyright 2001-2017 ©
Scientific and Technical Journal
of Information Technologies, Mechanics and Optics.
All rights reserved.

Яндекс.Метрика