Interactive method for cumulative analysis of software formal models behavior

Збережено в:
Бібліографічні деталі
Дата:2018
Автор: A. Kolchin
Формат: Стаття
Мова:English
Опубліковано: 2018
Назва видання:Problems in programming
Онлайн доступ:http://jnas.nbuv.gov.ua/article/UJRN-0000882046
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:Library portal of National Academy of Sciences of Ukraine | LibNAS

Репозитарії

Library portal of National Academy of Sciences of Ukraine | LibNAS
id open-sciencenbuvgovua-26997
record_format dspace
spelling open-sciencenbuvgovua-269972024-02-27T21:46:27Z Interactive method for cumulative analysis of software formal models behavior A. Kolchin 1727-4907 2018 en Problems in programming http://jnas.nbuv.gov.ua/article/UJRN-0000882046 Article
institution Library portal of National Academy of Sciences of Ukraine | LibNAS
collection Open-Science
language English
series Problems in programming
spellingShingle Problems in programming
A. Kolchin
Interactive method for cumulative analysis of software formal models behavior
format Article
author A. Kolchin
author_facet A. Kolchin
author_sort A. Kolchin
title Interactive method for cumulative analysis of software formal models behavior
title_short Interactive method for cumulative analysis of software formal models behavior
title_full Interactive method for cumulative analysis of software formal models behavior
title_fullStr Interactive method for cumulative analysis of software formal models behavior
title_full_unstemmed Interactive method for cumulative analysis of software formal models behavior
title_sort interactive method for cumulative analysis of software formal models behavior
publishDate 2018
url http://jnas.nbuv.gov.ua/article/UJRN-0000882046
work_keys_str_mv AT akolchin interactivemethodforcumulativeanalysisofsoftwareformalmodelsbehavior
first_indexed 2025-07-17T14:50:35Z
last_indexed 2025-07-17T14:50:35Z
_version_ 1850413929370484737