| |
| 2005 | ||
|---|---|---|
| 3 | EE | Mickaël Kerboeuf, Jean-Pierre Talpin: Encapsulation and behavioral inheritance in a synchronous model of computation for embedded system services adaptation. J. Log. Algebr. Program. 63(2): 241-269 (2005) |
| 2003 | ||
| 2 | EE | Mickaël Kerboeuf, David Nowak, Jean-Pierre Talpin: Formal Proof of a Polychronous Protocol for Loosely Time-Triggered Architectures. ICFEM 2003: 359-374 |
| 2000 | ||
| 1 | Mickaël Kerboeuf, David Nowak, Jean-Pierre Talpin: Specification and Verification of a Steam-Boiler with Signal-Coq. TPHOLs 2000: 356-371 | |
| 1 | David Nowak | [1] [2] |
| 2 | Jean-Pierre Talpin | [1] [2] [3] |