From Wireless Sensor Networks to Wireless Body Area Networks: Formal Modeling and Verification on Security Using PAT - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Tieming Chen, Zhenbo Yu, Shijian Li, Bo Chen. From Wireless Sensor Networks to Wireless Body Area Networks: Formal Modeling and Verification on Security Using PAT. J. Sensors, 2016, 2016. [doi]

This author has not been identified. Look up 'Tieming Chen' in GoogleThis author has not been identified. Look up 'Zhenbo Yu' in GoogleThis author has not been identified. Look up 'Shijian Li' in GoogleThis author has not been identified. Look up 'Bo Chen' in Google

runs on WebDSL