Pervasive safety application with model checking in smart houses: The INOVUS intelligent oven.

Thibault De Champs, Bessam Abdulrazak, Hlne Pigot, Mohammed Ouenzar, Marc Frappier, Benot Fraikin

Browse the full PERCOM paper archive.