ИССЛЕДОВАНИЕ СЛОЖНОСТИ ВЕРИФИКАЦИИ МОДЕЛЕЙ ДЛЯ ПРАВИЛ ЛОГИЧЕСКИХ КОМПОНЕНТОВ С УЧЕТОМ СВОЙСТВ БЕЗОПАСНОСТИ

Bibliographic Details
Main Authors:	Е. А. Павлова, А. А. Станкевичус
Format:	Article
Language:	English
Published:	Joint Stock Company "Experimental Scientific and Production Association SPELS 2009-12-01
Series:	Безопасность информационных технологий
Online Access:	https://bit.mephi.ru/index.php/bit/article/view/840

Internet