Normal view
MARC view
- Advisor Dr. Farooque Azam
Advisor Dr. Farooque Azam (Personal Name)
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