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 | David Lesens | [1] |
3 | George Mamais | [1] |
4 | Maxime Perrotin | [1] |