The TableSat Platform and Its Verifiable Control Software
AIAA Infotech@Aerospace Conference
2009-01-01
Conference paper
Electronic Resource
English
The TableSat Platform and Its Verifiable Control Software
British Library Conference Proceedings | 2009
|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
|