A Contract-Based Methodology for Aircraft Electric Power System Design
Document Details
- Document Type
- Pub Defense Publication
- Publication Date
- Jan 01, 2014
- Source ID
- 10.1109/access.2013.2295764
Entities
People
- Alberto Sangiovanni-Vincentelli
- Alexandre Donzé
- Huan Xu
- John B. Finn
- Necmiye Ozay
- Pierluigi Nuzzo
- Richard M. Murray
- Sanjit A. Seshia