Login / Signup
Mohammed Ouenzar
Publication Activity (10 Years)
Years Active: 2010-2011
Publications (10 Years): 0
</>
Publications
</>
Thibault De Champs
,
Bessam Abdulrazak
,
Hélène Pigot
,
Mohammed Ouenzar
,
Marc Frappier
,
Benoît Fraikin
Pervasive safety application with model checking in smart houses: The INOVUS intelligent oven.
PerCom Workshops
(2011)
Marc Frappier
,
Benoît Fraikin
,
Romain Chossart
,
Raphaël Chane-Yack-Fa
,
Mohammed Ouenzar
Comparison of Model Checking Tools for Information Systems.
ICFEM
(2010)