Nghiên cứu và ứng dụng VDM++ cho Mô hình hóa và Kiểm thử hệ thống IMP tại NTT Data Việt Nam
Title: Nghiên cứu và ứng dụng VDM++ cho Mô hình hóa và Kiểm thử hệ thống IMP tại NTT Data Việt Nam Other Titles: Research and apply VDM ++ for modeling and testing systems at NTT Data IMP Vietnam Authors: Nguyễn, Xuân Tùng Keywords: Công nghệ thông tin;Công nghệ phần mềm;Tin học;Kiểm thử hệ thống IMP Issue Date: 2015 Publisher: Đại học quốc gia Hà nội Citation: 69 tr. URI: http://repository.vnu.edu.vn/handle/VNU_123/11817