Interactive method for cumulative analysis of software formal models behavior

Gespeichert in:

Bibliographische Detailangaben
Datum:	2018
1. Verfasser:	A. Kolchin
Format:	Artikel
Sprache:	English
Veröffentlicht:	2018
Schriftenreihe:	Problems in programming
Online Zugang:	http://jnas.nbuv.gov.ua/article/UJRN-0000882046
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	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