 |
| |||
| поиск входных значений (напр., при которых (в случае отсутствия в реализации ошибок) в модели будет пройден выбранный путь ssn) | |||
|
| |||
| поиск входных значений (напр., при которых (в случае отсутствия в реализации ошибок) в модели будет пройден выбранный путь ssn) | |||