Abstract :
The following topics are dealt with: formal verification; cloud computing; data security; system-of-systems; software architecture; image processing; military computing; aerospace computing; and robotics.
Keywords :
aerospace computing; cloud computing; formal verification; image processing; military computing; robots; security of data; software architecture; aerospace computing; cloud computing; data security; formal verification; image processing; military computing; robotics; software architecture; system-of-systems;
Conference_Titel :
System of Systems Engineering (SoSE), 2011 6th International Conference on
Conference_Location :
Albuquerque, NM
Print_ISBN :
978-1-61284-783-2
DOI :
10.1109/SYSOSE.2011.5966623
