![]() | ![]() |
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] |