| |
| 2008 | ||
|---|---|---|
| 2 | EE | Dominique Borrione, Amr Helmy, Laurence Pierre, Julien Schmaltz: Executable formal specification and validation of NoC communication infrastructures. SBCCI 2008: 176-181 |
| 2007 | ||
| 1 | EE | Dominique Borrione, Amr Helmy, Laurence V. Pierre, Julien Schmaltz: A Generic Model for Formally Verifying NoC Communication Architectures: A Case Study. NOCS 2007: 127-136 |
| 1 | Dominique Borrione | [1] [2] |
| 2 | Laurence Pierre | [2] |
| 3 | Laurence V. Pierre | [1] |
| 4 | Julien Schmaltz | [1] [2] |