Парадигмы и принципы гарантоспособных вычислений: состояние и перспективы развития
Abstract
Анализируются таксономические, методологические и технологические аспекты гарантоспособных
вычислений. Аналізуються таксономічні, методологічні та технологічні аспекти гарантоспроможних обчислень.