Formal Modeling of Data. A Case Study for Space Applications.

Jean-Paul Blanquart Gérard Bulsa David Lesens George Mamais Maxime Perrotin Formal Modeling of Data. A Case Study for Space Applications. 123-134 2007 ISoLA conf/isola/2007 db/conf/isola/isola2007.html#BlanquartBLMP07