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