Login / Signup
Xavier Dumas
Publication Activity (10 Years)
Years Active: 2008-2011
Publications (10 Years): 0
</>
Publications
</>
Xavier Dumas
,
Philippe Dhaussy
,
Frédéric Boniol
,
Eric Bonnafous
Application of partial-order methods for the verification of closed-loop SDL systems.
SAC
(2011)
Xavier Dumas
,
Frédéric Boniol
,
Philippe Dhaussy
,
Eric Bonnafous
Context Modelling and Partial-Order Reduction: Application to SDL Industrial Embedded Systems.
SIES
(2010)
Xavier Dumas
,
Claire Pagetti
,
Laurent Sagaspe
,
Pierre Bieber
,
Philippe Dhaussy
Vers la génération de modèles de sûreté de fonctionnement.
LMO
(2008)
Xavier Dumas
,
Claire Pagetti
,
Laurent Sagaspe
,
Pierre Bieber
,
Philippe Dhaussy
Vers la génération de modèles de sûreté de fonctionnement.
CAL
(2008)