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