Федухин, А.В.; Сеспедес Гарсия, Н.В.
(Математичні машини і системи, 2013)
Приводится описание пакета прикладных программ GARANTmod, предназначенного для разработчиков гарантоспособных компьютерных систем. Пакет решает разнообразные задачи по оценке и обеспечению гарантоспособности систем ...