| |
Кривий, С. Л.
Формальні методи аналізу властивостей систем [Текст] / С. Л. Кривий, Л. Є. Матвєєва
// Кибернетика и системный анализ. – 2003. – № 2. – 15-36.
Представлено загальний огляд застосувань формальних методів для специфіуації та верифікації програмних технічних систем |
