The TableSat Platform and Its Verifiable Control Software
AIAA Infotech@Aerospace conference; Exhibit and AIAA Unmanned ... Unlimited conference and exhibit 2009 ; 2009 ; Seattle, WA
2009-01-01
11 pages
Conference paper
English
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Architecture for Verifiable Software
NTRS | 2005
|SOLUTIONS - Software - Architecture for Verifiable Software
Online Contents | 2005
A verifiable, autonomous satellite control system
Tema Archive | 1989
|Verifiable Adaptive Control: UCAV and Aerial Refueling
AIAA | 2008
|