Normal view
MARC view
- MS-CSE-14 MSTHESIS
MS-CSE-14 MSTHESIS (Topical Term)
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