http://dspace.bsu.edu.ru/handle/123456789/50388| Название: | О верификации конечных параметризованных моделей распределенных программ |
| Авторы: | Булычев, П. Е. Захаров, В. А. |
| Ключевые слова: | математика математическая кибернетика программы темпоральная логика верификация |
| Дата публикации: | 2009 |
| Библиографическое описание: | Булычев, П.Е. О верификации конечных параметризованных моделей распределенных программ / П.Е. Булычев, В.А. Захаров ; Московский государственный университет им. М.В. Ломоносова // Научные ведомости БелГУ. Сер. История. Политология. Экономика. Информатика. - 2009. - №9(64), вып.11/1.-С. 116-123. |
| Краткий осмотр (реферат): | Введен и исследован новый класс параметризованных моделей распределенных программ |
| URI (Унифицированный идентификатор ресурса): | http://dspace.bsu.edu.ru/handle/123456789/50388 |
| Располагается в коллекциях: | № 9 (64), вып. 11/1 |
| Файл | Описание | Размер | Формат | |
|---|---|---|---|---|
| Bulychev_O_Verifikatsii.pdf | 190.52 kB | Adobe PDF | Просмотреть/Открыть |
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.