Eric Bonnafous

Publication Activity (10 Years)

Years Active: 2010-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)