| |||
| формальная модель | |||
| семантика (semantics; русс. перевод взят из: Кривчиков М.А. Формальные модели и верификация свойств программ с использованием промежуточного представления Alex_Odeychuk) | |||
| |||
| формальные модели (ssn) | |||
|
formal model : 16 phrases, 6 sujets |
| Bases de données | 1 |
| Informatique | 5 |
| Intelligence artificielle | 2 |
| Programmation | 4 |
| Sécurité des informations et protection des données | 2 |
| Systèmes de sécurité | 2 |