RUS
ENG
Full version
PEOPLE
Basok Boris Moiseevich
Publications in Math-Net.Ru
Using a probabilistic calculation model to test one class of ready-to-use software components of local and network systems
Inform. Primen.
,
12
:4 (2018),
44–51
A probabilistic model for estimation of software robustness to short-term hardware failures
Inform. Primen.
,
11
:1 (2017),
46–57
Deductive methods for determining the faults checked by a given test
Avtomat. i Telemekh.
, 1980, no. 3,
162–169
©
Steklov Math. Inst. of RAS
, 2026