Փոփոխությունների ֆորմալ վերիֆիկացիա բիզնես պրոցեսների շաբլոնների համար

Հաշվողական մեքենաների, համալիրների, համակարգերի և ցանցերի մաթեմատիկական և ծրագրային ապահովում