 |
| |||
| среда проверки (ssn); среда верификации (ssn) | |||
| среда формальной верификации (a toolset based on formal methods and oriented toward high-assurance software systems Alex_Odeychuk) | |||
|
Verification Environment : 7 短语, 3 学科 |
| 取证 | 1 |
| 电子产品 | 3 |
| 编程 | 3 |
|
| |||
| среда проверки (ssn); среда верификации (ssn) | |||
| среда формальной верификации (a toolset based on formal methods and oriented toward high-assurance software systems Alex_Odeychuk) | |||
|
Verification Environment : 7 短语, 3 学科 |
| 取证 | 1 |
| 电子产品 | 3 |
| 编程 | 3 |