A verified wireless safety critical hard real-time design.

Hernan Baro Graf, Holger Hermanns, Juhi Kulshrestha, Jens Peter, Anjo Vahldiek, Aravind Vasudevan

Browse the full WoWMoM paper archive.