Formal Test and Simulation Environment of Wireless Body Network. - Khaldia Benahmed; Mostefa Belarbi; Abdelhamid Hariche; Abou El Hassan Benyamina (ICOST, 2017)