Информация об авторе

Вельдер С.


Библиография книг автора

Верификация автоматных программ Вельдер С. Лукин М. Шалыто А.А. Яминов Б.
Верификация автоматных программ
В книге рассматриваются вопросы верификации программного обеспечения на основе проверки моделей с использованием различных языков спецификации. Особое внимание уделяется верификации автоматных программ, которые моделируются в виде системы автоматизированных объектов управления и могут быть весьма эффективно верифицированы указанным методом....
Нет в наличии