Towards a Modular and Variability-Aware Aerodynamic Simulator

Ferruccio Damiani, Michael Lienhardt, Bruno Maugars, Bertrand Michel. Towards a Modular and Variability-Aware Aerodynamic Simulator. In Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Einar Broch Johnsen, editors, The Logic of Software. A Tasting Menu of Formal Methods - Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday. Volume 13360 of Lecture Notes in Computer Science, pages 147-172, Springer, 2022. [doi]

Authors

Ferruccio Damiani

This author has not been identified. Look up 'Ferruccio Damiani' in Google

Michael Lienhardt

This author has not been identified. Look up 'Michael Lienhardt' in Google

Bruno Maugars

This author has not been identified. Look up 'Bruno Maugars' in Google

Bertrand Michel

This author has not been identified. Look up 'Bertrand Michel' in Google