A. Morzenti;P. San Pietro;S. Morasca
-;-;-
A Modular Approach to the Specification and Validation of an Electrical Flight Control System
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity