Մարգարյան, Պավլուշ Սեյրանի <br/><br/>
Կոմպիլյացիայի միջոցով ստացված RTL նկարագրությունների վերիֆիկացիայի համար հիմքային գործիքնային միջավայրի մշակումը :  Ատենախոսություն՝ Ե.13.03 «Հաշվողական մեքենաներ, համալիրներ, համակարգեր, ցանցեր, դրանց տարրերը և սարքավորումները» մասնագիտությամբ տեխնիկական գիտությունների թեկնածուի գիտական աստիճանի համար / 
Պ.Ս.  Մարգարյան ; Գիտական ղեկավար՝ Ս.Կ. Շուքուրյան ; Հայաստանի պետական ճարտարագիտական համալսարան (Պոլիտեխնիկ). 
 - Երևան,  2009. 
 - 135 էջ ;  30 սմ. 
<br/><br/>Գիտական ղեկավար՝ Ս.Կ. Շուքուրյան: 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Հաշվողական տեխնիկա և ավտոմատացված համակարգեր
<br/><br/><label>Index Terms--Genre/Form: </label><br/>Ատենախոսություններ