Verification of an Ad-hoc Serial Communication Protocol through Model-checking: A Case Study with Echo Sounder - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Shakaiba Majeed, Kashif Saghar, Kashif Hameed, Minsoo Ryu. Verification of an Ad-hoc Serial Communication Protocol through Model-checking: A Case Study with Echo Sounder. JSW, 12(4):253-264, 2017. [doi]

This author has not been identified. Look up 'Shakaiba Majeed' in GoogleThis author has not been identified. Look up 'Kashif Saghar' in GoogleThis author has not been identified. Look up 'Kashif Hameed' in GoogleThis author has not been identified. Look up 'Minsoo Ryu' in Google

runs on WebDSL