Normal view
MARC view
- Advisor Dr. Farooque Azam
Advisor Dr. Farooque Azam (Personal Name)
Machine generated authority record.
Work cat.: (NUST): Faleeha Moin Shaikh 69407, TH-SOF-1577-A Model-driven Approach for Formal Verification of Embedded Systems Using Timed Colored Petri Nets, 2018