Incremental protocol verification method for ECFSM-based protocols

Chung Ming Huang, Jeng Muh Hsu, Huei Yang Lai, Jao Chiang Pong, Duen Tay Huang

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fingerprint Dive into the research topics of 'Incremental protocol verification method for ECFSM-based protocols'. Together they form a unique fingerprint.

Engineering & Materials Science