Interactive method for cumulative analysis of software formal models behavior

Saved in:

Bibliographic Details
Date:	2018
Main Author:	A. Kolchin
Format:	Article
Language:	English
Published:	2018
Series:	Problems in programming
Online Access:	http://jnas.nbuv.gov.ua/article/UJRN-0000882046
Tags:	Add Tag No Tags, Be the first to tag this record!
Journal Title:	Library portal of National Academy of Sciences of Ukraine \| LibNAS

Institution

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