Зображення обкладинки

Interactive method for cumulative analysis of software formal models behavior

Збережено в:

Бібліографічні деталі
Дата:	2018
Автор:	A. Kolchin
Формат:	Стаття
Мова:	Англійська
Опубліковано:	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

Схожі ресурси

Interactive method for cumulative analysis of software formal models behavior
за авторством: Kolchin, A.V.
Опубліковано: (2018)

Interactive method for automated test suit development for formal models of software systems
за авторством: A. V. Kolchin, та інші
Опубліковано: (2018)

A method for reduction of analyzed behavior space during verification of formal models of distributed software systems
за авторством: A. V. Kolchin
Опубліковано: (2013)

Static method of consistency and completeness checking in formal model of distributed software systems
за авторством: Kolchin, A.V., та інші
Опубліковано: (2025)

Formal methods of parallel software design automation
за авторством: Yu. Doroshenko, та інші
Опубліковано: (2020)

Formal foundations for software model to model transformation operation
за авторством: O. V. Chebanyuk
Опубліковано: (2018)

Formal foundations for software model to model transformation operation
за авторством: Chebanyuk, O.V.
Опубліковано: (2018)

Formal and adaptive methods and software tools of parallel programming
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2018)

Formal and adaptive methods and software tools of parallel programming
за авторством: Yu. Doroshenko, та інші
Опубліковано: (2017)

Survey on modern tools and methods of formal models verification
за авторством: Kolchin, A.V., та інші
Опубліковано: (2015)

Cumulant models and polynomial method signal detection under additive interaction with correlated non-gaussian noise
за авторством: V. V. Palagin
Опубліковано: (2015)

The Libraries Activity for Cumulating the Digital Heritage of the Interactive Space
за авторством: Yu. Polovynchak
Опубліковано: (2018)

Optimization of checking the feasibility of transitions when verifying formal models
за авторством: Kolchin, A.V.
Опубліковано: (2015)

Modern methods and software systems of molecular modeling and application of behavior algebra
за авторством: O. O. Letychevskyi, та інші
Опубліковано: (2022)

Generation of multipurpose formal models from legacy code
за авторством: Potiyenko, S.V., та інші
Опубліковано: (2023)

Analysis of the influence of filtration on the sensitivity of the cumulant method of detecting the acoustic signals of leakage
за авторством: V. S. Beregun, та інші
Опубліковано: (2018)

ANALYSIS OF THE INFLUENCE OF FILTRATION ON THE SENSITIVITY OF THE CUMULANT METHOD OF DETECTING THE ACOUSTIC SIGNALS OF LEAKAGE
за авторством: Beregun, V.S., та інші
Опубліковано: (2018)

A static method for elimination of redundant dependencies in preconditions of transitions of formal models of transition systems
за авторством: A. V. Kolchin, та інші
Опубліковано: (2015)

Evolution Equations for Cumulants of Distribution Functions of Particle Systems with Topological Interaction
за авторством: Герасименко, Віктор, та інші
Опубліковано: (2024)

An approach to behavioral software models refinement using design patterns
за авторством: Chebanyuk, O.B.
Опубліковано: (2025)

Analysis of the characteristics of a cumulant system for liquid leakage detection in pipelines
за авторством: O. I. Krasylnikov, та інші
Опубліковано: (2022)

Image segmentation based on cumulative histogram
за авторством: R. A. Melnyk, та інші
Опубліковано: (2013)

Included cumulation in ukrainian folk fairytales
за авторством: O. Trebyk
Опубліковано: (2018)

The doctrine of cumulation and its application in preventive toxicology (part 2. methods)
за авторством: B. M. Shtabskij
Опубліковано: (2013)

Shock alloying of metals by cumulative plasma streams
за авторством: Ivanov, L.I., та інші
Опубліковано: (2006)

World and cognitive agent behavior and interaction models
за авторством: Ju. A. Prokopchuk
Опубліковано: (2013)

Analysis of Cumulant Coefficients of Two-component Mixtures of Shifted Gaussian Distributions with Equal Variances
за авторством: A. I. Krasilnikov
Опубліковано: (2020)

Character Code of Cumulative Tales: A Bear
за авторством: O. Trebyk
Опубліковано: (2019)

Fluctuations of individual and cumulative capacities at wind farms
за авторством: M. P. Kuznetsov
Опубліковано: (2013)

Accuracy of sliding bearing life time estimation by the generalized cumulative wear model
за авторством: M. V. Chernets, та інші
Опубліковано: (2014)

Development of formal models, algorithms, procedures, engineering and functioning of the software system “Instrumental complex for ontological engineering purpose”
за авторством: Palagin, O.V., та інші
Опубліковано: (2025)

Cumulation and acceleration of ions by TW femtosecond laser pulse
за авторством: Balakirev, V.A., та інші
Опубліковано: (2004)

Interactive software system for processing, structural analysis and recognition of biomedical images
за авторством: R. M. Trokhymchuk, та інші
Опубліковано: (2017)

The Cumulative Effect of the Local Auditor&#039;s Judgments
за авторством: M. D. Korinko, та інші
Опубліковано: (2018)

The European System of Trading Cumulation and Global Value Chains
за авторством: S. V. Berenda
Опубліковано: (2015)

Economic behavior of households and their welfare: models and forms of interaction
за авторством: M. M. Bil, та інші
Опубліковано: (2020)

Quality models and assessment of software interface usability for human-computer interaction
за авторством: O. O. Hordieiev
Опубліковано: (2020)

The Problem of the Interaction of Formalism and Sociologism in the Works of Boris Yakubskyi
за авторством: T. Kovalenko
Опубліковано: (2014)

Methods of Modelling Marketing Activity on Software Sales
за авторством: Kh. Bashyrov, та інші
Опубліковано: (2013)

Innovation methods, algorithms, and software for analysis of reinsurance contracts
за авторством: Silvestrov, D., та інші
Опубліковано: (2006)