 |
| |||
| формальная модель | |||
| семантика (semantics; русс. перевод взят из: Кривчиков М.А. Формальные модели и верификация свойств программ с использованием промежуточного представления Alex_Odeychuk) | |||
| |||
| формальные модели (ssn) | |||
| formal model: 15 phrases in 6 subjects |
| Artificial intelligence | 1 |
| Databases | 1 |
| Information security and data protection | 2 |
| Information technology | 5 |
| Programming | 4 |
| Security systems | 2 |