Վարոսյան, Աննա Սերգեյի <br/><br/>
Փոփոխությունների ֆորմալ վերիֆիկացիա բիզնես պրոցեսների շաբլոնների համար :  Սեղմագիր ֆիզ.-մաթ. գիտ. թեկն. ... ատենախոս. : Ե.13.04 / 
 Формальная верификация изменений в шаблонах бизнес процессов.  Автореферат дис. ... канд. физ.-мат. наук : 05.13.04 
ՀՀ ԳԱԱ ԻԱՊԻ. 
 - Երևան,  2011. 
 - 23 էջ. 
<br/><br/>Գիտ. ղեկ.՝ Ս.Կ. Շուքուրյան 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Հաշվողական մեքենաների, համալիրների, համակարգերի և ցանցերի մաթեմատիկական և ծրագրային ապահովում
<br/><br/><label>Index Terms--Genre/Form: </label><br/>Thesis