%0 Journal Article %B Радіоелектронні і комп'ютерні системи %D 2009 %G eng %N 36 %T Парадигмы и принципы гарантоспособных вычислений: состояние и перспективы развития %V 2