TY - JOUR BT - Радіоелектронні і комп'ютерні системи IS - 36 LA - eng PY - 2009 T2 - Радіоелектронні і комп'ютерні системи TI - Парадигмы и принципы гарантоспособных вычислений: состояние и перспективы развития VL - 2 ER -