Embedded software for a space interferometry system: Automated analysis of a software product line architecture

IEEE International Performance, Computing and Communications Conference, Proceedings

Volumn , Issue , 2001, Pages 145-150

  Gannod, G C ^a   Lutz, R R ^a   Cantu, M ^a  

^a Arizona State University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER ARCHITECTURE; COMPUTER SOFTWARE; FORMAL LOGIC; INTERFEROMETERS; INTERFEROMETRY;

EMBEDDED SOFTWARE; LIGHTWEIGHT FORMAL METHOD; MODEL CHECKING; SOFTWARE PRODUCT LINE ARCHITECTURE; SPACE INTERFEROMETRY SYSTEM;

EMBEDDED SYSTEMS;

EID: 0035016829     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (7)