Парадигмы и принципы гарантоспособных вычислений: состояние и перспективы развития Вид публикации: Journal Article Авторы: Вячеслав Харченко Источник: Радіоелектронні і комп'ютерні системи, Volume 2, № 36 (2009)