Specification and Synthesis of Reactive Protocols for Aircraft Electric Power Distribution

Document Details

Document Type

Pub Defense Publication

Publication Date

Jun 01, 2015

Source ID

10.1109/tcns.2015.2401174

Entities