Vol. 44, No. 3, 2020
Behavioral Model of Text Input in the Authentication of Mobile Device Users
p. 109 abstract
Tool System for Testing Real-Time Constraints for Modular Computational System Configurations
p. 120 abstract
Arithmetization of Register Machines with Counters
p. 133 abstract
Geometric Criterion for a Robust Condition of No Sure Arbitrage with Unlimited Profit
p. 146 abstract
Development of Parallel Codes for a Nonlinear Heat Equation in Problems of Phase-Change Memory Simulation
p. 151 abstract
Conditional Testing for Cardot Circuits
p. 159 abstract