I.A. Stotland

И.А. Стотланд

1 articles 2017

Science Intensive Technologies 1

2017

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