Сергей, несколько вопросов. 1. Разработать формальную модель информационных обменов для шины MIL-STD-1553. 2. Разработать формальную модель информационных обменов в кольце с арбитражем (без ограничений стандарта FC-AE-1553) А чем Ваши формальные модели отличаются от уже существующих? Есть ли предпол...