Please be patient while the object screen loads.
Description | Size | Format | ||
---|---|---|---|---|
О приемах по доработке согласованного описания МРОСЛ ДП-модели для ОС и СУБД с целью его верификации инструментами Rodin и ProB | 234 KB | Adobe Acrobat PDF | View Details | Download |
DOI Доступ к ресурсу на сайте издателя | 10.17223/2226308X/14/27 |