Вернуться к Подробностям о статье Тестирование на основе спецификации реализованных в акторной модели практических распределенных систем Скачать Скачать PDF