To search, Click below search items. |
| All Published Papers Search Service |
|
|
|
Title |
|
|
Author |
Muhammad Zaman, Amina Mahmood, Muhammad Atif, Muhammad Adnan Hashmi, Muhammad Kashif, Mudassar Naseer |
| Citation |
Vol. 24 No. 3 pp. 151-159 |
|
Keywords |
Formal Specification, Gear Control System, Requirement Verification, Model-checking. |
