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