[HTML][HTML] Верификация систем управления доступом на основе моделирования раскрашенными сетями ПЕТРИ
ВА Тихонов, ВА Новиков - Наукоемкие технологии в космических …, 2021 - cyberleninka.ru
Введение: сложность разрабатываемых информационных систем повышает
требования к безошибочному проектированию системы разграничения доступа и …
требования к безошибочному проектированию системы разграничения доступа и …