Maria Domenica Di Benedetto, Alessandro D'Innocenzo, Emmanuele Serra, Emmanuel Witrant. Automatic verification of wireless control in a mining ventilation system. In 2008 IEEE International Conference on Automation Science and Engineering, IEEE CASE 2008, Washington, DC, USA, August 23-26, 2008. pages 858-863, IEEE, 2008. [doi]
Abstract is missing.