Eric Bonnafous

	2011
2		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: 1666-1673
	2010
1		Xavier Dumas, Frédéric Boniol, Philippe Dhaussy, Eric Bonnafous: Context Modelling and Partial-Order Reduction: Application to SDL Industrial Embedded Systems. SIES 2010: 197-200

Coauthor Index

1	Frédéric Boniol	[1] [2]
2	Philippe Dhaussy	[1] [2]
3	Xavier Dumas	[1] [2]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page