Cover Image

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

Similar Items

Interactive method for cumulative analysis of software formal models behavior
by: Kolchin, A.
Published: (2018)

Interactive method for cumulative analysis of software formal models behavior
by: Kolchin, A.V.
Published: (2018)

Interactive method for automated test suit development for formal models of software systems
by: A. V. Kolchin, et al.
Published: (2018)

A method for reduction of analyzed behavior space during verification of formal models of distributed software systems
by: A. V. Kolchin
Published: (2013)

Static method of consistency and completeness checking in formal model of distributed software systems
by: Kolchin, A.V., et al.
Published: (2025)

Formal methods of parallel software design automation
by: Doroshenko, A.Yu., et al.
Published: (2020)

Formal methods of parallel software design automation
by: Yu. Doroshenko, et al.
Published: (2020)

Formal foundations for software model to model transformation operation
by: O. V. Chebanyuk
Published: (2018)

Formal foundations for software model to model transformation operation
by: Chebanyuk, O.V.
Published: (2018)

Formal foundations for software model to model transformation operation
by: Chebanyuk, O.V.
Published: (2018)

Formal and adaptive methods and software tools of parallel programming
by: Doroshenko, А.Yu., et al.
Published: (2018)

Formal and adaptive methods and software tools of parallel programming
by: Yu. Doroshenko, et al.
Published: (2017)

Survey on modern tools and methods of formal models verification
by: Kolchin, A.V., et al.
Published: (2015)

A method for guided search and test scenarios generation in verification of formal models of asynchronous systems
by: Kolchin, A.V.
Published: (2026)

Cumulant models and polynomial method signal detection under additive interaction with correlated non-gaussian noise
by: V. V. Palagin
Published: (2015)

The Libraries Activity for Cumulating the Digital Heritage of the Interactive Space
by: Yu. Polovynchak
Published: (2018)

Optimization of checking the feasibility of transitions when verifying formal models
by: Kolchin, A.V.
Published: (2015)

Test scenarios generation based on formal model
by: Letichevsky, A.A., et al.
Published: (2026)

Modern methods and software systems of molecular modeling and application of behavior algebra
by: O. O. Letychevskyi, et al.
Published: (2022)

Analysis of the influence of filtration on the sensitivity of the cumulant method of detecting the acoustic signals of leakage
by: V. S. Beregun, et al.
Published: (2018)

ANALYSIS OF THE INFLUENCE OF FILTRATION ON THE SENSITIVITY OF THE CUMULANT METHOD OF DETECTING THE ACOUSTIC SIGNALS OF LEAKAGE
by: Beregun, V.S., et al.
Published: (2018)

Generation of multipurpose formal models from legacy code
by: Potiyenko, S.V., et al.
Published: (2023)

A static method for elimination of redundant dependencies in preconditions of transitions of formal models of transition systems
by: A. V. Kolchin, et al.
Published: (2015)

Formalism for chaotic behavior of the bunched beam
by: Parsa, Z., et al.
Published: (2001)

An approach to behavioral software models refinement using design patterns
by: Chebanyuk, O.B.
Published: (2025)

Analysis of the characteristics of a cumulant system for liquid leakage detection in pipelines
by: O. I. Krasylnikov, et al.
Published: (2022)

Analysis of the characteristics of а cumulant system for liquid leakage detection in pipelines
by: Krasylnikov Oleksandr, et al.
Published: (2022)

Image segmentation based on cumulative histogram
by: R. A. Melnyk, et al.
Published: (2013)

The doctrine of cumulation and its application in preventive toxicology (part 2. methods)
by: B. M. Shtabskij
Published: (2013)

World and cognitive agent behavior and interaction models
by: Ju. A. Prokopchuk
Published: (2013)

ANTHILL: a progressive formalization language for agent-supported software projects
by: Shevchenko, R.S., et al.
Published: (2026)

Included cumulation in ukrainian folk fairytales
by: O. Trebyk
Published: (2018)

Cumulative author index 1993–2003
Published: (2003)

On the cumulant expansion peculiarity for partition function functional of the cluster de Gennes model
by: Korynevskii, N.A.
Published: (2000)

Shock alloying of metals by cumulative plasma streams
by: Ivanov, L.I., et al.
Published: (2006)

Analysis of Cumulant Coefficients of Two-component Mixtures of Shifted Gaussian Distributions with Equal Variances
by: A. I. Krasilnikov
Published: (2020)

Interactive software system for processing, structural analysis and recognition of biomedical images
by: R. M. Trokhymchuk, et al.
Published: (2017)

Accuracy of sliding bearing life time estimation by the generalized cumulative wear model
by: M. V. Chernets, et al.
Published: (2014)

Character Code of Cumulative Tales: A Bear
by: O. Trebyk
Published: (2019)

Fluctuations of individual and cumulative capacities at wind farms
by: M. P. Kuznetsov
Published: (2013)