A verifiedwireless safety critical hard real-time design

Hernan Baro Graf, Holger Hermanns, Juhi Kulshrestha, Jens Peter, Anjo Vahldiek, Aravind Vasudevan. A verifiedwireless safety critical hard real-time design. In 12th IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks, WOWMOM 2011, Lucca, Italy, 20-24 June, 2011. pages 1-9, IEEE, 2011. [doi]

Authors

Hernan Baro Graf

This author has not been identified. Look up 'Hernan Baro Graf' in Google

Holger Hermanns

This author has not been identified. Look up 'Holger Hermanns' in Google

Juhi Kulshrestha

This author has not been identified. Look up 'Juhi Kulshrestha' in Google

Jens Peter

This author has not been identified. Look up 'Jens Peter' in Google

Anjo Vahldiek

This author has not been identified. Look up 'Anjo Vahldiek' in Google

Aravind Vasudevan

This author has not been identified. Look up 'Aravind Vasudevan' in Google