Eric Bonnafous
According to our database1,
Eric Bonnafous
authored at least 3 papers
between 2010 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
2011
Application of partial-order methods for the verification of closed-loop SDL systems.
Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011
2010
Context Modelling and Partial-Order Reduction: Application to SDL Industrial Embedded Systems.
Proceedings of the IEEE Fifth International Symposium on Industrial Embedded Systems, 2010