diff --git a/12042023TIA.txt b/12042023TIA.txt index 3f802ae..87a682b 100644 --- a/12042023TIA.txt +++ b/12042023TIA.txt @@ -2,3 +2,6 @@ 2022 +"Создание формальной модели безопасности ИС с использованием платформы Rodin" + +