Shaista Jabeen

Shaista Jabeen

COMSATS University Islamabad - Islamabad / Pakistan
Engineering & Technology / Electrical & Electronic Engineering
AD Scientific Index ID: 4812837
کامسیٹس یونیورسٹی اسلام آباد
person_outline Shaista Jabeen's MOST POPULAR ARTICLES
1-) A formal verification methodology for FPGA-based stepper motor control IEEE Embedded Systems Letters 7 (3), 85-88, 2015
2-) A formal verification methodology for DDD mode pacemaker control programs Journal of Electrical and Computer Engineering 2015, 2015
3-) Formal verification methodology for real-time Field Programmable Gate Array IET Computers & Digital Techniques 11 (5), 197-203, 2017
4-) Static stuttering abstraction for object code verification Proceedings of the CYBER, 102-106, 2018
5-) A new scalable fault tolerant routing algorithm for networks-on-chip 2015 IEEE 58th International Midwest Symposium on Circuits and Systems …, 2015