[1]
A. Alpeev, Верифікація та валідація програмованих керуючих систем АЕС, NRS, no 3(47), pp 22-24, Вер 2010.