Date: 2014-08-25 12:01:26Electromagnetism Temporal logic Electronic design Systems engineering Linear temporal logic Reliability engineering Control theory Topology High-level synthesis Electronic engineering Design Electronic design automation | | 1 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´e, Sanjit A. SeshiaAdd to Reading ListSource URL: www.aero.umd.eduDownload Document from Source Website File Size: 1,28 MBShare Document on Facebook
|