Michael Lienhardt. Applied Formal Methods at ONERA: An Experience Report. In Claudio Antares Mezzina, Alan Schmitt, editors, Components Operationally: Reversibility and System Engineering: Essays Dedicated to Jean-Bernard Stefani on the Occasion of His 65th Birthday. Lecture Notes in Computer Science, pages 137-153, Springer Nature Switzerland, 2026. [doi]
Abstract is missing.