Павлова, Е. А., Россия
-
Том 16, № 4 (2009) - НАУЧНЫЕ СТАТЬИ
ИССЛЕДОВАНИЕ СЛОЖНОСТИ ВЕРИФИКАЦИИ МОДЕЛЕЙ ДЛЯ ПРАВИЛ ЛОГИЧЕСКИХ КОМПОНЕНТОВ С УЧЕТОМ СВОЙСТВ БЕЗОПАСНОСТИ
Аннотация PDF
Контент доступен под лицензией Creative Commons Attribution 4.0 License.
Budapest Open Access Initiative.
ISSN: 2074-7128 (Print)
ISSN: 2074-7136 (On-Line)
Budapest Open Access Initiative.
ISSN: 2074-7128 (Print)
ISSN: 2074-7136 (On-Line)