FSM-based formal compliance verification of interface protocols

Che Hua Shih, Y. A.Ching Yang, Chia Chih Yen, Juinn Dar Huang, Jing Yang Jou

Research output: Contribution to journal › Article › peer-review

Fingerprint

Dive into the research topics of 'FSM-based formal compliance verification of interface protocols'. Together they form a unique fingerprint.

Keyphrases

Computer Science