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

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

Збережено в:

Бібліографічні деталі
Дата:	2015
Автори:	A. V. Kolchin, A. A. Letichevskij, S. V. Potienko
Формат:	Стаття
Мова:	Англійська
Опубліковано:	2015
Назва видання:	Artificial intelligence
Онлайн доступ:	http://jnas.nbuv.gov.ua/article/UJRN-0000483830
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Library portal of National Academy of Sciences of Ukraine \| LibNAS

Репозитарії

Library portal of National Academy of Sciences of Ukraine | LibNAS

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

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

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

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

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

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

Mitochondria permeability transition as a target for ischemic preconditioning
за авторством: Yu. V. Hoshovska, та інші
Опубліковано: (2011)

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

Formation of growth poles system in Ukraine as a precondition to its transition to the model of polycentric spatial development
за авторством: H. P. Pidhrushnyi
Опубліковано: (2017)

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

Mathematical model for failure cause analysis of system with sliding redundancy
за авторством: B. A. Mandzii, та інші
Опубліковано: (2013)

A survey of systematic methods for code-based test data generation
за авторством: V. A. Volkov, та інші
Опубліковано: (2017)

Attributed transition systems with hidden transitions
за авторством: V. V. Skobelev
Опубліковано: (2017)

Institutional preconditions for harmonization of relations of economic efficiency and social equity in transit economy
за авторством: O. G. Morozova, та інші
Опубліковано: (2015)

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

Mathematical model for failure cause analysis of system with segregated reduced redundancy
за авторством: T. O. Stefanovych, та інші
Опубліковано: (2014)

Efficient increasing of the mutation score during model-based test suite generation
за авторством: A. Kolchin, та інші
Опубліковано: (2020)

Gauge dependence of the critical dynamics at the superconducting phase transition
за авторством: Dudka, M., та інші
Опубліковано: (2007)

A method of test data generation from source code of Java programs
за авторством: A. V. Kolchin, та інші
Опубліковано: (2016)

Analysis of the structure of attributed transition systems without hidden transitions
за авторством: V. V. Skobelev
Опубліковано: (2017)

Identification of nonlinear static dependencies from dynamics of electrotechnical systems
за авторством: D. K. Zimenkov, та інші
Опубліковано: (2016)

Mathematical reliability model for failure cause analysis of system with complex whole loading redundancy
за авторством: S. V. Shcherbovskykh
Опубліковано: (2014)

A method for business logic extraction from legacy COBOL code of industrial systems
за авторством: A. A. Guba, та інші
Опубліковано: (2016)

Demographic Aspect of Modelling a Transition Stage of the Pension System
за авторством: V. V. Ohlikh, та інші
Опубліковано: (2013)

Polarization Microscopy as Method to Study Phase Transitions in Cryobiological Systems
за авторством: A. T. Khodko
Опубліковано: (2018)

Elimination of the data-dependent defects by doubling the frequency of driving signals for cholesteric LCDs
за авторством: A. Rybalochka
Опубліковано: (2010)

Reliability of a series system with redundancy and threshold recovery strategies
за авторством: Yu. V. Zhernovyi
Опубліковано: (2021)

Transition systems as method of designing applications in GPGPU technology
за авторством: S. L. Kryvyi, та інші
Опубліковано: (2018)

Transition systems as method of designing applications in GPGPU technology
за авторством: Kryvyi, S.L., та інші
Опубліковано: (2018)

Modeling of the phenomenon of brittle-plastic transition by the method of dislocation dynamics
за авторством: K. M. Borysovska, та інші
Опубліковано: (2022)

Methods and models of estimating energy transition on the example of Zhytomyr united territorial community
за авторством: O. A. Diachuk, та інші
Опубліковано: (2021)

The Transitive Model of Social Economy in the Global Environment
за авторством: A. O. Simakhova
Опубліковано: (2018)

Temperature-Dependent Transitions in Erythrocyte Membrane Under Effect of Membrane Protein Modifiers
за авторством: Ja. O. Nardid, та інші
Опубліковано: (2005)

Reliability model for failure cause analysis of hydraulic station with safety valve redundancy
за авторством: T. O. Stefanovych, та інші
Опубліковано: (2015)

Reliability model for failure cause analysis of pump unit with reduced sliding redundancy
за авторством: T. O. Stefanovych, та інші
Опубліковано: (2016)

Phase transition in a cell fluid model
за авторством: Kozlovskii, M.P., та інші
Опубліковано: (2017)

The sol-gel transition in hydrogels as the first-order phase transition
за авторством: Yu. F. Zabashta, та інші
Опубліковано: (2024)

The sol-gel transition in hydrogels as the first-order phase transition
за авторством: Yu. F. Zabashta, та інші
Опубліковано: (2024)

Phase transitions in the coal-water-methane system
за авторством: Alexeev, A.D., та інші
Опубліковано: (2006)

Dielectric instabilities and phase transitions in pseudospin-electron model of HTSC system
за авторством: Stasyuk, I.V.
Опубліковано: (1996)

The mathematical modeling of parameters leaching of transition metals
за авторством: D. V. Maltsev
Опубліковано: (2015)