Bounded Verification of Adaptive Flight Control Systems
AIAA Infotech@Aerospace conference; Exhibit 2010 ; 2010 ; Atlanta, Georgia
01.01.2010
14 pages
Includes bibliographical references and index
Aufsatz (Konferenz)
Englisch
Infotech , Astronautics , AIAA , Unmanned , Aerospace
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Bounded Verification of Adaptive Flight Control Systems
AIAA | 2010
|Hybrid Decompositional Verification for Discovering Failures in Adaptive Flight Control Systems
British Library Conference Proceedings | 2010
|