 |
| |||
| формальная модель | |||
| семантика (semantics; русс. перевод взят из: Кривчиков М.А. Формальные модели и верификация свойств программ с использованием промежуточного представления Alex_Odeychuk) | |||
| |||
| формальные модели (ssn) | |||
|
formal model : 18 短语, 6 学科 |
| 人工智能 | 2 |
| 信息安全 | 2 |
| 信息技术 | 6 |
| 安全系统 | 2 |
| 数据库 | 1 |
| 编程 | 5 |