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