A Contract-Based Methodology for Aircraft Electric Power System Design

by Pierluigi Nuzzo, Huan Xu, Necmiye Ozay, John B. Finn, Alberto L. Sangiovanni-Vincentelli, Richard M. Murray, Alexandre Donze, Sanjit A. Seshia
Published 2014-01-01