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

Jean-Paul Blanquart, Grard Bulsa, David Lesens, George Mamais, Maxime Perrotin

Browse the full ISoLA paper archive.