Cover Image

A static method for elimination of redundant dependencies in preconditions of transitions of formal models of transition systems

Saved in:

Bibliographic Details
Date:	2015
Main Authors:	A. V. Kolchin, A. A. Letichevskij, S. V. Potienko
Format:	Article
Language:	English
Published:	2015
Series:	Artificial intelligence
Online Access:	http://jnas.nbuv.gov.ua/article/UJRN-0000483830
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

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

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

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

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

Interactive method for cumulative analysis of software formal models behavior
by: Kolchin, A.V.
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)

Mitochondria permeability transition as a target for ischemic preconditioning
by: Yu. V. Hoshovska, et al.
Published: (2011)

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

A survey of systematic methods for code-based test data generation
by: V. A. Volkov, et al.
Published: (2017)

Formation of growth poles system in Ukraine as a precondition to its transition to the model of polycentric spatial development
by: H. P. Pidhrushnyi
Published: (2017)

Mathematical model for failure cause analysis of system with sliding redundancy
by: B. A. Mandzii, et al.
Published: (2013)

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

Attributed transition systems with hidden transitions
by: V. V. Skobelev
Published: (2017)

Efficient increasing of the mutation score during model-based test suite generation
by: Kolchin, A., et al.
Published: (2020)

Efficient increasing of the mutation score during model-based test suite generation
by: A. Kolchin, et al.
Published: (2020)

Mathematical model for failure cause analysis of system with segregated reduced redundancy
by: T. O. Stefanovych, et al.
Published: (2014)

Institutional preconditions for harmonization of relations of economic efficiency and social equity in transit economy
by: O. G. Morozova, et al.
Published: (2015)

A method of test data generation from source code of Java programs
by: A. V. Kolchin, et al.
Published: (2016)

A method for business logic extraction from legacy COBOL code of industrial systems
by: A. A. Guba, et al.
Published: (2016)

Analysis of the structure of attributed transition systems without hidden transitions
by: V. V. Skobelev
Published: (2017)

Demographic Aspect of Modelling a Transition Stage of the Pension System
by: V. V. Ohlikh, et al.
Published: (2013)

Mathematical reliability model for failure cause analysis of system with complex whole loading redundancy
by: S. V. Shcherbovskykh
Published: (2014)

Gauge dependence of the critical dynamics at the superconducting phase transition
by: Dudka, M., et al.
Published: (2007)

Identification of nonlinear static dependencies from dynamics of electrotechnical systems
by: D. K. Zimenkov, et al.
Published: (2016)

Polarization Microscopy as Method to Study Phase Transitions in Cryobiological Systems
by: A. T. Khodko
Published: (2018)

Methods for the Elimination of Unknowns from Systems of Linear Inequalities and Their Applications
by: Ostapenko, V. V., et al.
Published: (2001)

Elimination of the data-dependent defects by doubling the frequency of driving signals for cholesteric LCDs
by: Rybalochka, A.
Published: (2010)

Elimination of the data-dependent defects by doubling the frequency of driving signals for cholesteric LCDs
by: A. Rybalochka
Published: (2010)

Reliability of a series system with redundancy and threshold recovery strategies
by: Yu. V. Zhernovyi
Published: (2021)

Transition systems as method of designing applications in GPGPU technology
by: Kryvyi, S.L., et al.
Published: (2018)

Transition systems as method of designing applications in GPGPU technology
by: S. L. Kryvyi, et al.
Published: (2018)

Phase transitions in the Mitsui model
by: Dublenych, Yu.I.
Published: (2011)

Modeling of the phenomenon of brittle-plastic transition by the method of dislocation dynamics
by: K. M. Borysovska, et al.
Published: (2022)

Methods and models of estimating energy transition on the example of Zhytomyr united territorial community
by: O. A. Diachuk, et al.
Published: (2021)

The Transitive Model of Social Economy in the Global Environment
by: A. O. Simakhova
Published: (2018)

On indecomposable and transitive systems of subspaces
by: Yakymenko, D. Yu., et al.
Published: (2007)

Reliability model for failure cause analysis of hydraulic station with safety valve redundancy
by: T. O. Stefanovych, et al.
Published: (2015)

Reliability model for failure cause analysis of pump unit with reduced sliding redundancy
by: T. O. Stefanovych, et al.
Published: (2016)

Phase transition in a cell fluid model
by: Kozlovskii, M.P., et al.
Published: (2017)

Phase transitions in the coal-water-methane system
by: Alexeev, A.D., et al.
Published: (2006)