Buchumschlag

Interactive method for cumulative analysis of software formal models behavior

Gespeichert in:

Bibliographische Detailangaben
Datum:	2018
1. Verfasser:	A. Kolchin
Format:	Artikel
Sprache:	Englisch
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

Ähnliche Einträge

Interactive method for cumulative analysis of software formal models behavior
von: Kolchin, A.V.
Veröffentlicht: (2018)

Interactive method for automated test suit development for formal models of software systems
von: A. V. Kolchin, et al.
Veröffentlicht: (2018)

A method for reduction of analyzed behavior space during verification of formal models of distributed software systems
von: A. V. Kolchin
Veröffentlicht: (2013)

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

Formal methods of parallel software design automation
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2020)

Formal methods of parallel software design automation
von: Yu. Doroshenko, et al.
Veröffentlicht: (2020)

Formal foundations for software model to model transformation operation
von: Chebanyuk, O.V.
Veröffentlicht: (2018)

Formal foundations for software model to model transformation operation
von: O. V. Chebanyuk
Veröffentlicht: (2018)

Formal and adaptive methods and software tools of parallel programming
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2018)

Formal and adaptive methods and software tools of parallel programming
von: Yu. Doroshenko, et al.
Veröffentlicht: (2017)

Survey on modern tools and methods of formal models verification
von: Kolchin, A.V., et al.
Veröffentlicht: (2015)

Optimization of checking the feasibility of transitions when verifying formal models
von: Kolchin, A.V.
Veröffentlicht: (2015)

Cumulant models and polynomial method signal detection under additive interaction with correlated non-gaussian noise
von: V. V. Palagin
Veröffentlicht: (2015)

The Libraries Activity for Cumulating the Digital Heritage of the Interactive Space
von: Yu. Polovynchak
Veröffentlicht: (2018)

Modern methods and software systems of molecular modeling and application of behavior algebra
von: O. O. Letychevskyi, et al.
Veröffentlicht: (2022)

Generation of multipurpose formal models from legacy code
von: Potiyenko, S.V., et al.
Veröffentlicht: (2023)

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

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

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

Evolution Equations for Cumulants of Distribution Functions of Particle Systems with Topological Interaction
von: Герасименко, Віктор, et al.
Veröffentlicht: (2024)

Formalism for chaotic behavior of the bunched beam
von: Parsa, Z., et al.
Veröffentlicht: (2001)

An approach to behavioral software models refinement using design patterns
von: Chebanyuk, O.B.
Veröffentlicht: (2025)

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

Analysis of the characteristics of а cumulant system for liquid leakage detection in pipelines
von: Krasylnikov Oleksandr, et al.
Veröffentlicht: (2022)

Image segmentation based on cumulative histogram
von: R. A. Melnyk, et al.
Veröffentlicht: (2013)

The doctrine of cumulation and its application in preventive toxicology (part 2. methods)
von: B. M. Shtabskij
Veröffentlicht: (2013)

World and cognitive agent behavior and interaction models
von: Ju. A. Prokopchuk
Veröffentlicht: (2013)

Included cumulation in ukrainian folk fairytales
von: O. Trebyk
Veröffentlicht: (2018)

Development of formal models, algorithms, procedures, engineering and functioning of the software system “Instrumental complex for ontological engineering purpose”
von: Palagin, O.V., et al.
Veröffentlicht: (2025)

Interactive software system for processing, structural analysis and recognition of biomedical images
von: R. M. Trokhymchuk, et al.
Veröffentlicht: (2017)

On the cumulant expansion peculiarity for partition function functional of the cluster de Gennes model
von: Korynevskii, N.A.
Veröffentlicht: (2000)

Shock alloying of metals by cumulative plasma streams
von: Ivanov, L.I., et al.
Veröffentlicht: (2006)

Analysis of Cumulant Coefficients of Two-component Mixtures of Shifted Gaussian Distributions with Equal Variances
von: A. I. Krasilnikov
Veröffentlicht: (2020)

Quality models and assessment of software interface usability for human-computer interaction
von: O. O. Hordieiev
Veröffentlicht: (2020)

Methods of Modelling Marketing Activity on Software Sales
von: Kh. Bashyrov, et al.
Veröffentlicht: (2013)

Innovation methods, algorithms, and software for analysis of reinsurance contracts
von: Silvestrov, D., et al.
Veröffentlicht: (2006)

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

Character Code of Cumulative Tales: A Bear
von: O. Trebyk
Veröffentlicht: (2019)

Fluctuations of individual and cumulative capacities at wind farms
von: M. P. Kuznetsov
Veröffentlicht: (2013)

Monotone Cumulant-Moment Formula and Schröder Trees
von: Arizmendi, Octavio, et al.
Veröffentlicht: (2022)