Search
Now showing items 1-6 of 6
Formal Verification of Wireless Sensor Key Exchange Protocol Using AVISPA
Publisher: IEEE
Year: 2014
[Title page iii]
Year: 2014
State estimation for Stochastic Hybrid Systems based on deterministic Dirac mixture approximation
Publisher: IEEE
Year: 2014
MHz-band RF signal propagation characteristics on human body for intra-body communication
Publisher: IEEE
Year: 2014
Menu
Publisher: IEEE
Year: 2014
Frequency response control of D-PMSG based on the active disturbance rejection controller
Publisher: IEEE
Year: 2014