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