author-photo

Eric Bonnafous

7

Papers

11

Citations

Citation Trend

Filter By

Papers (4) Sort By

Journal Conference Others

Model Checking of SCADE Designed Systems

2016
Show All
- Source
- Cite
- Save
Citations (0)
Polarsys Industry Working Group (Formerly known as OPEES) : Using Open Source strategies to tackle very long term support issues for Embedded Software

2012
Show All
- Source
- Cite
- Save
Citations (1)
Context modelling and partial-order reduction: Application to SDL industrial embedded systems

2010 SIES | International Symposium on Industrial Embedded Systems
Show All
- Source
- Cite
- Save
Citations (1)
Experience of an efficient and actual MDE process : design and verification of ATC onboard system

2008
Show All
- Source
- Cite
- Save
Citations (1)