| |
| 2007 | ||
|---|---|---|
| 1 | Jean-Paul Blanquart, Gérard Bulsa, David Lesens, George Mamais, Maxime Perrotin: Formal Modeling of Data. A Case Study for Space Applications. ISoLA 2007: 123-134 | |
| 1 | Jean-Paul Blanquart | [1] |
| 2 | Gérard Bulsa | [1] |
| 3 | David Lesens | [1] |
| 4 | Maxime Perrotin | [1] |