 |
| |||
| формальная модель | |||
| семантика (semantics; русс. перевод взят из: Кривчиков М.А. Формальные модели и верификация свойств программ с использованием промежуточного представления Alex_Odeychuk) | |||
| |||
| формальные модели (ssn) | |||
|
formal model : 18 צירופים, 6 נושאים |
| אבטחת מידע והגנת מידע | 2 |
| בינה מלאכותית | 2 |
| טכנולוגית מידע | 6 |
| מאגרי מידע | 1 |
| מערכות אבטחה | 2 |
| תִכנוּת | 5 |