Modeling Technology of Functional and Reliable Behavior Algorithms in Electronic Complexes

摘要

The proposed modeling technology is based on the use of Markov process and differs from traditional technology by its formalized procedure of model development in the form of state and transition graph. The opportunity of process automation of Markov mode