N.A. Starikovskaya

Н.А. Стариковская

3 articles 2012–2017

2017

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

2012

Algorithm of interoperability estimation in relation to claimed requirements and its practical implementation on the example of radio system Information-measuring and Control Systems, No. 9, 2012 pp. 67-76
Impact of system characteristics on the degree of openness estimation algorithm Science Intensive Technologies, No. 5, 2012 pp. 30-39