Материалов:
1 005 012

Репозиториев:
30

Авторов:
761 409

расширенный поиск

О верификации конечных параметризованных моделей распределенных программ

Булычев, П. Е., Захаров, В. А.

Дата публикации: 2009

Дата публикации в реестре: 2023-02-21T11:05:07Z

Аннотация:

Введен и исследован новый класс параметризованных моделей распределенных программ

Ключевые слова:
математика, математическая кибернетика, программы, темпоральная логика, верификация

Тип: Article

Связанные документы (рекомендация CORE)

Партнеры

КФУ
ТГУ
Elpub
СФУ
Webpublishers

Индексация

BASE
WorldCat
OpenAIRE
EDS
core