Девянин П.Н., Леонова М.А.

Девянин П.Н., Леонова М.А.

Прикладная дискретная математика, 2021.

Приложение № 14. С. 126-132

Перейти к источнику

О приемах по доработке согласованного описания МРОСЛ ДП-модели для ОС и СУБД с целью его верификации инструментами Rodin и ProB