| |
| 2006 | ||
|---|---|---|
| 2 | EE | Francois Carcenac, Frédéric Boniol: A formal framework for verifying distributed embedded systems based on abstraction methods. STTT 8(6): 471-484 (2006) |
| 2004 | ||
| 1 | Francois Carcenac, Frédéric Boniol: Verification of an avionic system using timed model checking. ISoLA (Preliminary proceedings) 2004: 335-342 | |
| 1 | Frédéric Boniol | [1] [2] |