- Full text PDF available (9)
- This year (0)
- Last 5 years (5)
- Last 10 years (10)
Journals and Conferences
The book gives a detailed exposition of basic concepts and results of a theory of processes. The presentation of theoretical concepts and results is accompanied with illustrations of their… (More)
The content of molecular LPO products increased in the liver of rats exposed to daily 1-h immobilization. IL-1β receptor antagonist limited the stress-induced intensifi cation of LPO.
In the paper the problem of verification of functional programs (FPs) over strings is considered, where specifications of properties of FPs are defined by other FPs, and a FP Σ1 meets a specification… (More)
A model for simulating the rapid thermal annealing of silicon structures implanted with boron and carbon is developed. The model provides a fair approximation of the process of boron diffusion in… (More)
In the paper we introduce logical calculi for representation of propositions with modal operators indexed by fuzzy values. There calculi are called Heyting-valued modal logics. We introduce the… (More)
Doped IC Active Regions A.F. Komarova,∗, O.I. Velichko, G.M. Zayats, F.F. Komarov, S.A. Miskiewicz, A.M. Mironov and Yu.V. Makarevich Institute of Applied Physics Problems, 7 Kurchatov St., 220108… (More)
In the book we present main concepts of probabilistic automata theory.
In the paper we introduce a concept of a graph model of a functional program. We show how to use this model for verification of functional programs.
In the paper we consider a graph model of message passing processes and present a method verification of message passing processes. The method is illustrated by an example of a verification of… (More)
In the paper we introduce a process model of security protocols, where processes are graphs with edges labelled by actions, and present a new method of specification and verification of security… (More)