Журнал
ИЗВЕСТИЯ ВЫСШИХ УЧЕБНЫХ ЗАВЕДЕНИЙ «ПРИБОРОСТРОЕНИЕ»
УДК:658.512.011.56
Номер:10 (53)
Скачать PDF324 Кбайт
Предлагается метод разработки web-приложений, позволяющий на основе задания формально верифицируемой модели иерархическими конечными автома- тами обеспечить однозначное соответствие ей работающего приложения.