Quick Links

CUI Main Website Research Portal Photo Gallery CUI Blogs CUI Job Portal CUI Thesis Repository

Research Paper Detail



 

Title Formalization of security properties using VDM-SL
TypeConference
PublisherIEEE
Publication Year2015
First AuthorHafiz Muhammad Tahir
Second AuthorAyza Shouket
Third AuthorZeeshan Raza
Publication LevelNational
Volume 
Publication # 
Page #1-6
Submitted byZeeshan Raza
Department Computer Science , Sahiwal Campus.
  Send Message View Profile

Contact Us
Tel: +92-51-9247000-9247002 and 9049802
UAN: +92-51-111-001-007
Reach Us at
Park Road, Tarlai Kalan,
Islamabad 45550, Pakistan


Powered by: ITCentre