A Contract-Based Methodology for Aircraft Electric Power System Design.

Pierluigi Nuzzo Huan Xu Necmiye Ozay John B. Finn Alberto L. Sangiovanni-Vincentelli Richard M. Murray Alexandre Donzé Sanjit A. Seshia

Published in: IEEE Access (2014)

Keyphrases