И. Бурдонов, А. Косачев
Тестирование компонентов и верификация композиции распределённой системы
На семинаре в Институте Механики.
55+1 слайд