| |
| 2003 | ||
|---|---|---|
| 3 | EE | Pascalin Amagbégnon, Uri Barkai: Verifying the Implementation of an Error Control Code. Formal Methods in System Design 22(2): 155-161 (2003) |
| 1995 | ||
| 2 | Pascalin Amagbégnon, Paul Le Guernic, Hervé Marchand, Éric Rutten: SIGNAL. Formal Development of Reactive Systems 1995: 113-129 | |
| 1 | Pascalin Amagbégnon, Loïc Besnard, Paul Le Guernic: Implementation of the Data-Flow Synchronous Language SIGNAL. PLDI 1995: 163-173 | |
| 1 | Uri Barkai | [3] |
| 2 | Loïc Besnard | [1] |
| 3 | Paul Le Guernic | [1] [2] |
| 4 | Hervé Marchand | [2] |
| 5 | Éric Rutten | [2] |