Journals
Books
Articles by keyword canonical expansion (CE)
Software tools for analysis and synthesis of stochastic systems with high availability (VI)

.N. Sinitsyn – Dr.Sc.(Eng.), Professor, Main Research Scientist, FRC «Computer Science and Control» RAS (Moscow) E-mail: sinitsin@dol.ru

I.V. Sergeev – Ph.D.(Eng.), Deputy Director, FRC «Computer Science and Control» RAS (Moscow) E-mail: isergeev@ipiran.ru

E.R. Korepanov – Ph.D.(Eng.), Leading Research Scientist, FRC «Computer Science and Control» RAS (Moscow) E-mail: ekorepanov@ipiran.ru

T.D. Konashenkova – Leading Programmer, FRC «Computer Science and Control» RAS (Moscow) E-mail: tkonzshenkova@ipiran.ru