Електронний каталог науково-технічної бібліотеки
Вінницького національного технічного університету
метод формальний, метод формальный
Документи:
- Кривий, С. Л. Формальні методи аналізу властивостей систем [Текст] / С. Л. Кривий, Л. Є. Матвєєва // Кибернетика и системный анализ. – 2003. – № 2. – 15-36.
- Огляд сучасних методів захищеності та безпеки програмних систем [Текст] / О. О. Летичевський, В. С. Песчаненко, Я. В. Гринюк [та ін.] // Кибернетика и системный анализ. – 2019. – Т. 55, № 5. – С. 156-169.
- Тарасюк, О. М. Комплексирование формальных методов разработки и анализа надежности Event-B и FME(C)A [Текст] / О. М. Тарасюк, А. В. Горбенко, В. С. Харченко // Математичні машини і системи. – 2010. – № 2. – С. 166-177.
- Тарасюк, О. М. Насколько формальны формальные методы? [Текст] / О. М. Тарасюк, А. В. Горбенко, В. С. Харченко // Математичні машини і системи. – 2011. – № 1. – С. 154-167.
|
