| |||
| математическая верификация | |||
| формальная верификация | |||
| формальная верификация кода (Electronic Design Alex_Odeychuk) | |||
|
formal-verification : 31 短语, 2 学科 |
| 编程 | 24 |
| 软件 | 7 |
| |||
| математическая верификация | |||
| формальная верификация | |||
| формальная верификация кода (Electronic Design Alex_Odeychuk) | |||
|
formal-verification : 31 短语, 2 学科 |
| 编程 | 24 |
| 软件 | 7 |