Buchumschlag

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

Gespeichert in:

Bibliographische Detailangaben
Datum:	2015
Hauptverfasser:	A. V. Kolchin, A. A. Letichevskij, S. V. Potienko
Format:	Artikel
Sprache:	Englisch
Veröffentlicht:	2015
Schriftenreihe:	Artificial intelligence
Online Zugang:	http://jnas.nbuv.gov.ua/article/UJRN-0000483830
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

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

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

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

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

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

Mitochondria permeability transition as a target for ischemic preconditioning
von: Yu. V. Hoshovska, et al.
Veröffentlicht: (2011)

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

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

A survey of systematic methods for code-based test data generation
von: V. A. Volkov, et al.
Veröffentlicht: (2017)

Mathematical model for failure cause analysis of system with sliding redundancy
von: B. A. Mandzii, et al.
Veröffentlicht: (2013)

Attributed transition systems with hidden transitions
von: V. V. Skobelev
Veröffentlicht: (2017)

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

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

Efficient increasing of the mutation score during model-based test suite generation
von: Kolchin, A., et al.
Veröffentlicht: (2020)

Efficient increasing of the mutation score during model-based test suite generation
von: A. Kolchin, et al.
Veröffentlicht: (2020)

Mathematical model for failure cause analysis of system with segregated reduced redundancy
von: T. O. Stefanovych, et al.
Veröffentlicht: (2014)

A method of test data generation from source code of Java programs
von: A. V. Kolchin, et al.
Veröffentlicht: (2016)

A method for business logic extraction from legacy COBOL code of industrial systems
von: A. A. Guba, et al.
Veröffentlicht: (2016)

Analysis of the structure of attributed transition systems without hidden transitions
von: V. V. Skobelev
Veröffentlicht: (2017)

Gauge dependence of the critical dynamics at the superconducting phase transition
von: Dudka, M., et al.
Veröffentlicht: (2007)

Demographic Aspect of Modelling a Transition Stage of the Pension System
von: V. V. Ohlikh, et al.
Veröffentlicht: (2013)

Identification of nonlinear static dependencies from dynamics of electrotechnical systems
von: D. K. Zimenkov, et al.
Veröffentlicht: (2016)

Mathematical reliability model for failure cause analysis of system with complex whole loading redundancy
von: S. V. Shcherbovskykh
Veröffentlicht: (2014)

Polarization Microscopy as Method to Study Phase Transitions in Cryobiological Systems
von: A. T. Khodko
Veröffentlicht: (2018)

Methods for the Elimination of Unknowns from Systems of Linear Inequalities and Their Applications
von: Ostapenko, V. V., et al.
Veröffentlicht: (2001)

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

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

Transition systems as method of designing applications in GPGPU technology
von: Kryvyi, S.L., et al.
Veröffentlicht: (2018)

Transition systems as method of designing applications in GPGPU technology
von: S. L. Kryvyi, et al.
Veröffentlicht: (2018)

Phase transitions in the Mitsui model
von: Dublenych, Yu.I.
Veröffentlicht: (2011)

Reliability of a series system with redundancy and threshold recovery strategies
von: Yu. V. Zhernovyi
Veröffentlicht: (2021)

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

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

The Transitive Model of Social Economy in the Global Environment
von: A. O. Simakhova
Veröffentlicht: (2018)

On indecomposable and transitive systems of subspaces
von: Yakymenko, D. Yu., et al.
Veröffentlicht: (2007)

Phase transition in a cell fluid model
von: Kozlovskii, M.P., et al.
Veröffentlicht: (2017)

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

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

Phase transitions in the coal-water-methane system
von: Alexeev, A.D., et al.
Veröffentlicht: (2006)