Borisovets B É

Publications in Math-Net.Ru

1. A general model and generation of tests for interregister transfer control mechanisms in microprocessors
   
   Avtomat. i Telemekh., 1992, no. 8,  142–149
2. Designing tests for mechanism which control inter-register data exchange in microprocessors
   
   Avtomat. i Telemekh., 1989, no. 4,  165–176