Normal view
MARC view
- MS-CSE-14 MSTHESIS
MS-CSE-14 MSTHESIS (Topical Term)
Machine generated authority record.
Work cat.: (NUST): Aamir Naeem 69410, TH-SOF-1576-Formal Verification Approach to Verify System Designs by Utilizing Model Driven Software Engineering (MDSE), 2018