Тарасюк, О.М.; Горбенко, А.В.; Харченко, В.С.
(Математичні машини і системи, 2010)
Анализируются существующие проблемы и возможность применения формальных методов при разработке отказоустойчивых компьютерных систем. Рассматривается интеграция формального метода разработки Event-B и метода анализа надежности ...