Визначено варіанти формалізованого опису бортової обчислювальної системи з метою дослідження часових характеристик, надійності та відмово стійкості
Определены варианты формализированного описания бортовой вычислительной системы с целью исследования часовых характеристик, надежности и отказоустойчивости
Identifies variants for formalized description of on-board computer system order to researches temporal characteristics, reliability and fault tolerance
