Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Sharykin, AS"'
Autor:
Raman E. Sharykin
Publikováno v:
Журнал Белорусского государственного университета: Математика, информатика, Iss 1, Pp 79-90 (2021)
This paper proposes an approach that demonstrates the development of single window document circulation systems at the early stage of their design, based on the use of formal methods in the specification of a system, the specification of metrics for
Externí odkaz:
https://doaj.org/article/9ac937aad7b94219b22de8356f778d30
Publikováno v:
Журнал Белорусского государственного университета: Математика, информатика, Iss 1, Pp 59-69 (2020)
This article proposes an approach that allows us to study a mathematical model of a virus protection system at the stage of its design using statistical analysis of an executable model specification based on the formalism of Distributed Object Based
Externí odkaz:
https://doaj.org/article/51476cd45fc74bd08fbc617201b6240f
Publikováno v:
Журнал Белорусского государственного университета: Математика, информатика, Iss 2, Pp 52-61 (2019)
This article offers a mathematical model for distributed objectoriented stochastic hybrid systems (DOBSHS). DOBSHS are composite objects communicating with other objects through the exchange of messages through an asynchronous medium such as a netw
Externí odkaz:
https://doaj.org/article/5556c398a02e451997058cf7ef918be0
Autor:
Raman E. Sharykin
Publikováno v:
Journal of the Belarusian State University. Mathematics and Informatics. :79-90
This paper proposes an approach that demonstrates the development of single window document circulation systems at the early stage of their design, based on the use of formal methods in the specification of a system, the specification of metrics fo