 |
| |||
| официальный пересмотр конструкции | |||
| формальный анализ проекта (ГОСТ Р МЭК 61160-2006 "Формальный анализ проекта", IEC 61160:1992 "Formal design review" ssn) | |||
| формальный обзор проекта (корпорации AdaCore Alex_Odeychuk) | |||
|
| |||
| официальный пересмотр конструкции | |||
| формальный анализ проекта (ГОСТ Р МЭК 61160-2006 "Формальный анализ проекта", IEC 61160:1992 "Formal design review" ssn) | |||
| формальный обзор проекта (корпорации AdaCore Alex_Odeychuk) | |||