Journals
Books
Articles by keyword bayes criterion (bc)
Software tools for analysis and synthesis of stochastic systems with high availability (XV)

I.N. Sinitsyn1, V.I. Sinitsyn2, E.R. Korepanov3, T.D. Konashenkova4

1–4 FRC «Computer Science and Control» of RAS (Moscow, Russia)

Software tools for analysis and synthesis of stochastic systems with high availability (XVI)

I.N. Sinitsyn1, V.I. Sinitsyn2, E.R. Korepanov3, T.D. Konashenkova4

1−4 FRC «Computer Science and Control» of RAS (Moscow, Russia)

Software tools for analysis and synthesis of stochastic systems with high availability (XVII)

I.N. Sinitsyn1, V.I. Sinitsyn2, E.R. Korepanov3, T.D. Konashenkova4

1−4 FRC «Informatics and Computer Science» of RAS (Moscow, Russia)
 

Software tools for analysis and synthesis of stochastic systems with high availability (XVII)

I.N. Sinitsyn1, V.I. Sinitsyn2, E.R. Korepanov3, T.D. Konashenkova4

1−4 FRC «Informatics and Computer Science» of RAS (Moscow, Russia)
 

Software tools for analysis and synthesis of stochastic systems with high availability (XVIII)

I.N. Sinitsyn1, V.I. Sinitsyn2, E.R. Korepanov3, T.D. Konashenkova4

1−4 FRC CSC RAS (Moscow, Russia)
 1 sinitsin@dol.ru, 2 vsinitsin@ipiran.ru, 3 ekorepanov@ipiran.ru, 4 tkonashenkova64@mail.ru