SOLUTIONS - Software - Architecture for Verifiable Software
NASA tech briefs ; 29 , 12
2005
Article (Journal)
English
Architecture for Verifiable Software
NTRS | 2005
|Automotive engineering | 2013
|The TableSat Platform and Its Verifiable Control Software
British Library Conference Proceedings | 2009
|SOLUTIONS - Software - Architecture Adaptive Computing Environment
Online Contents | 2006