Statistics for Використання засобів автоматичного доведення теорем для дослідження моделей контролю доступу на базі ролей та генерації авторизаційних тверджень
Total visits
| views | |
|---|---|
| Використання засобів автоматичного доведення теорем для дослідження моделей контролю доступу на базі ролей та генерації авторизаційних тверджень | 4 |
Total visits per month
| views | |
|---|---|
| вересня 2024 | 0 |
| жовтня 2024 | 0 |
| листопада 2024 | 0 |
| грудня 2024 | 0 |
| січня 2025 | 0 |
| лютого 2025 | 0 |
| березня 2025 | 0 |
File Visits
| views | |
|---|---|
| Koliadenko_Vykorystannia_zasobiv.pdf | 15 |
Top country views
| views | |
|---|---|
| Швеція | 1 |
| Сполучені Штати | 1 |
Top city views
| views | |
|---|---|
| Stockholm | 1 |