Formal techniques for verification of complex real-time systems

von Geilen, Marc Constantijn Willem
Veröffentlicht 2002

Wireless body area network protocols

von Nabi, Majid
Veröffentlicht in The e-medicine, e-heatlh, m-health, telemedicine, and telehealth handbook ; Volume 1: Telemedicine and electronic medicine (2016)

Wireless body area network data delivery

von Nabi, Majid
Veröffentlicht in The e-medicine, e-heatlh, m-health, telemedicine, and telehealth handbook ; Volume 1: Telemedicine and electronic medicine (2016)

Ambient intelligence : impact on embedded system design

Veröffentlicht 2003

Special section cyber-physical systems: extending the networks to the real-world

Veröffentlicht 2015