A study of the impact of HRD practices and measures to resolve pertinent challenging issues of HRD in commercial bank in India
Formal tools for specification driven protocol design of distributed computing systems