http://dspace.bsu.edu.ru/handle/123456789/50388| Title: | О верификации конечных параметризованных моделей распределенных программ |
| Authors: | Булычев, П. Е. Захаров, В. А. |
| Keywords: | математика математическая кибернетика программы темпоральная логика верификация |
| Issue Date: | 2009 |
| Citation: | Булычев, П.Е. О верификации конечных параметризованных моделей распределенных программ / П.Е. Булычев, В.А. Захаров ; Московский государственный университет им. М.В. Ломоносова // Научные ведомости БелГУ. Сер. История. Политология. Экономика. Информатика. - 2009. - №9(64), вып.11/1.-С. 116-123. |
| Abstract: | Введен и исследован новый класс параметризованных моделей распределенных программ |
| URI: | http://dspace.bsu.edu.ru/handle/123456789/50388 |
| Appears in Collections: | № 9 (64), вып. 11/1 |
| File | Description | Size | Format | |
|---|---|---|---|---|
| Bulychev_O_Verifikatsii.pdf | 190.52 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.