רוסית ⇄ אנגלית

редактирование с обеспечением соответствия принципиальной схеме מתח
.מיקרו	correct-by-construction editing (редактирование топологии ИС ssn)
редактирование топологии ИС с обеспечением соответствия принципиальной схеме
.תקשור	correct-by-construction editing