M.A. Kirichenko

2017

1. Approaches to formal verification of model of microprocessor commutation subsystem devices Science Intensive Technologies, No. 1, 2017 pp. 3-8