| |
| 1999 | ||
|---|---|---|
| 3 | Mireille Larnac, Janine Magnier, Vincent Chapurlat: Simplification of Proof Procedures Based on the Path Condition Concepts. EUROCAST 1999: 116-126 | |
| 1997 | ||
| 2 | Mireille Larnac, Vincent Chapurlat, Janine Magnier, Benjamin Chenot: Formal Representation and Proof of the Interpreted Sequential Machine Model. EUROCAST 1997: 95-107 | |
| 1995 | ||
| 1 | Mireille Larnac, Janine Magnier, Eric Vandermeulen, Gérard Dray, Vincent Chapurlat: Temporal and Functional Verification of a Symbolic Representation of Complex Systems. EUROCAST 1995: 151-162 | |
| 1 | Vincent Chapurlat | [1] [2] [3] |
| 2 | Benjamin Chenot | [2] |
| 3 | Gérard Dray | [1] |
| 4 | Janine Magnier | [1] [2] [3] |
| 5 | Eric Vandermeulen | [1] |