 |
методы верификации
| основанные на
| непрерывном времени
| метод верификации | |
| progr. | verification method; verification technique |
| методы верификации | |
| progr. | verification methods; verification techniques |
| основан на | |
| math. | is founded on; rest on; is built upon; depends on |
| основанный на | |
| law | founded |
| непрерывное время | |
| tech. | continuous time |
| методы верификации: 26 phrases in 3 subjects |
| Programming | 23 |
| Security systems | 1 |
| Software | 2 |